Sciweavers

5799 search results - page 491 / 1160
» Patterns Generate Architectures
Sort
View
COLING
2000
15 years 8 months ago
Planning texts by constraint satisfaction
A method is de.scribed by which a rhetoricalstructure tree can be realized by a text structure made up of sections, paragraphs, sentences, vertical lists, mid other textual patter...
Richard Power
CGF
2000
91views more  CGF 2000»
15 years 6 months ago
Floating Points: A method for computing stipple drawings
We present a method for computer generated pen-and-ink illustrations by the simulation of stippling. In a stipple drawing, dots are used to represent tone and also material of sur...
Oliver Deussen, Stefan Hiller, Cornelius W. A. M. ...
IJCAT
2010
93views more  IJCAT 2010»
15 years 5 months ago
FAETON: Form Analysis and Extraction Tool for ONtology construction
Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...
Rafael Berlanga Llavori, Ernesto Jiménez-Ru...
FAC
2010
106views more  FAC 2010»
15 years 4 months ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...
EUROPAR
2009
Springer
16 years 1 months ago
POGGI: Puzzle-Based Online Games on Grid Infrastructures
Massively Multiplayer Online Games (MMOGs) currently entertain millions of players daily. To keep these players online and generate revenue, MMOGs are currently relying on manually...
Alexandru Iosup