Sciweavers

857 search results - page 110 / 172
» Interactive Consistency in Quasi-Asynchronous Systems
Sort
View
APCHI
1998
IEEE
13 years 12 months ago
Eviss: A Visual System Having a Spatial Parser Generator
In this paper, a visual system Eviss is proposed. Visual systems proposed so far have been fixed on certain specifications. It is hard to make and modify such visual systems. Sinc...
Akihiro Baba, Jiro Tanaka
GW
1999
Springer
157views Biometrics» more  GW 1999»
13 years 12 months ago
The Ecological Approach to Multimodal System Design
Following the ecological approach to visual perception, this paper presents a framework that emphasizes the role of vision on referring actions. In particular, affordances are util...
Antonella De Angeli, Frederic Wolff, Laurent Romar...
ESWS
2008
Springer
13 years 9 months ago
Exploring the Knowledge in Semi Structured Data Sets with Rich Queries
Semantics can be integrated in to search processing during both document analysis and querying stages. We describe a system that incorporates both, semantic annotations of Wikipedi...
Jürgen Umbrich, Sebastian Blohm
CORR
2010
Springer
90views Education» more  CORR 2010»
13 years 7 months ago
Two-Domain DNA Strand Displacement
We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks (interruptions) in the top strand....
Luca Cardelli
TACAS
2010
Springer
145views Algorithms» more  TACAS 2010»
14 years 2 months ago
Rational Synthesis
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
Dana Fisman, Orna Kupferman, Yoad Lustig