Sciweavers

2917 search results - page 464 / 584
» Satisfying Interaction Constraints
Sort
View
CGF
2010
155views more  CGF 2010»
13 years 10 months ago
Feature based terrain generation using diffusion equation
This paper presents a diffusion method for generating terrains from a set of parameterized curves that characterize the landform features such as ridge lines, riverbeds or cliffs....
Houssam Hnaidi, Eric Guérin, Samir Akkouche...
ENTCS
2010
75views more  ENTCS 2010»
13 years 10 months ago
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
Javier Cámara, José Antonio Mart&iac...
IJHCI
2008
58views more  IJHCI 2008»
13 years 10 months ago
Social TV: Designing for Distributed, Sociable Television Viewing
Media research has shown that people enjoy watching television as a part of socializing in groups. However, many constraints in daily life limit the opportunities for doing so. Th...
Nicolas Ducheneaut, Robert J. Moore, Lora Oehlberg...
JAIR
2006
128views more  JAIR 2006»
13 years 10 months ago
Cognitive Principles in Robust Multimodal Interpretation
Multimodal conversational interfaces provide a natural means for users to communicate with computer systems through multiple modalities such as speech and gesture. To build effect...
Joyce Yue Chai, Zahar Prasov, Shaolin Qu
LISP
2008
154views more  LISP 2008»
13 years 10 months ago
Types and trace effects for object orientation
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
Christian Skalka