Sciweavers

137 search results - page 8 / 28
» Relations, Objects, and the Composition of Analogies
Sort
View
87
Voted
NPAR
2006
ACM
15 years 7 months ago
Felt-based rendering
Felt is mankind’s oldest and simplest textile, composed of a pressed mass of fibers. Images can be formed directly in the fabric by arranging the fibers to represent the image...
Peter O'Donovan, David Mould
99
Voted
SIGSOFT
2000
ACM
15 years 6 months ago
Automating first-order relational logic
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
Daniel Jackson
124
Voted
INLG
2010
Springer
14 years 11 months ago
Natural Reference to Objects in a Visual Domain
This paper discusses the basic structures necessary for the generation of reference to objects in a visual scene. We construct a study designed to elicit naturalistic referring ex...
Margaret Mitchell, Kees van Deemter, Ehud Reiter
DBPL
1997
Springer
133views Database» more  DBPL 1997»
15 years 6 months ago
Automatic Verification of Transactions on an Object-Oriented Database
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
David Spelt, Herman Balsters
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
15 years 8 months ago
Compositional design of isochronous systems
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
Jean-Pierre Talpin, Julien Ouy, Loïc Besnard,...