Sciweavers

3284 search results - page 574 / 657
» On the modularity of feature interactions
Sort
View
SCP
2010
172views more  SCP 2010»
13 years 7 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
TKDE
2010
164views more  TKDE 2010»
13 years 7 months ago
Defeasible Contextual Reasoning with Arguments in Ambient Intelligence
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
Antonis Bikakis, Grigoris Antoniou
TVCG
2010
122views more  TVCG 2010»
13 years 7 months ago
Analysis of Recurrent Patterns in Toroidal Magnetic Fields
—In the development of magnetic confinement fusion which will potentially be a future source for low cost power, physicists must be able to analyze the magnetic field that con...
Allen R. Sanderson, Guoning Chen, Xavier Tricoche,...
VL
2010
IEEE
247views Visual Languages» more  VL 2010»
13 years 7 months ago
Cleanroom: Edit-Time Error Detection with the Uniqueness Heuristic
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
Andrew J. Ko, Jacob O. Wobbrock
AUGHUMAN
2010
13 years 7 months ago
On-line document registering and retrieving system for AR annotation overlay
We propose a system that registers and retrieves text documents to annotate them on-line. The user registers a text document captured from a nearly top view and adds virtual annot...
Hideaki Uchiyama, Julien Pilet, Hideo Saito