Sciweavers

133 search results - page 10 / 27
» Exploiting Reference Interaction In Resolving Temporal Refer...
Sort
View
HPCA
2002
IEEE
16 years 2 days ago
Exploiting Choice in Resizable Cache Design to Optimize Deep-Submicron Processor Energy-Delay
Cache memories account for a significant fraction of a chip's overall energy dissipation. Recent research advocates using "resizable" caches to exploit cache requir...
Se-Hyun Yang, Michael D. Powell, Babak Falsafi, T....
HAID
2009
Springer
14 years 9 months ago
Communicative Functions of Haptic Feedback
In this paper a number of examples are presented of how haptic and auditory feedback can be used for deictic referencing in collaborative virtual environments. Haptic feedback supp...
Jonas Moll, Eva-Lotta Sallnäs
GW
2003
Springer
109views Biometrics» more  GW 2003»
15 years 5 months ago
Deixis in Multimodal Human Computer Interaction: An Interdisciplinary Approach
Focusing on deixis in human computer interaction this paper presents interdisciplinary work on the use of co-verbal gesture . Empirical investigations, theoretical modeling, and co...
Alfred Kranstedt, Peter Kühnlein, Ipke Wachsm...
AAAI
2006
15 years 1 months ago
Planning with First-Order Temporally Extended Goals using Heuristic Search
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. The problem of planning with TEGs is of renewed interest becau...
Jorge A. Baier, Sheila A. McIlraith
JOLLI
2002
109views more  JOLLI 2002»
14 years 11 months ago
Linear, Branching Time and Joint Closure Semantics for Temporal Logic
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
Joeri Engelfriet, Jan Treur