Sciweavers

3804 search results - page 292 / 761
» interactions 2008
Sort
View
TSMC
2008
113views more  TSMC 2008»
15 years 6 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
TVCG
2008
119views more  TVCG 2008»
15 years 6 months ago
Velocity-Aligned Discrete Oriented Polytopes for Dynamic Collision Detection
Abstract-- We propose an acceleration scheme for dynamic collision detection at interactive rates. We use a tight bounding volume representation that offers fast update rates and t...
Daniel S. Coming, Oliver G. Staadt
CACM
2004
88views more  CACM 2004»
15 years 6 months ago
Natural development of ubiquitous interfaces
ent through the use of meaningful abstractions in order to avoid dealing with low-level details. Despite this potential benefit, their adoption has mainly been limited to professio...
Silvia Berti, Fabio Paternò, Carmen Santoro
CLEIEJ
2004
106views more  CLEIEJ 2004»
15 years 6 months ago
A development platform and execution environment for mobile applications
Small computing devices are everywhere changing the way people communicate and interact, however applications for these devices are developed more or less with the same tools used...
Guillermo Licea Sandoval
COLING
2000
15 years 6 months ago
Integrating Text Planning and Linguistic Choice Without Abandoning Modularity: The IGEN Generator
s; these annotations provide an abstract description of the effects of particular linguistic choices, allowing the planner to evaluate these choiceswithout needing any linguistic k...
Robert Rubinoff