Sciweavers

137 search results - page 8 / 28
» Relations, Objects, and the Composition of Analogies
Sort
View
NPAR
2006
ACM
15 years 5 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
SIGSOFT
2000
ACM
15 years 4 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
INLG
2010
Springer
14 years 9 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 3 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 6 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,...