Sciweavers

133 search results - page 10 / 27
» Exploiting Reference Interaction In Resolving Temporal Refer...
Sort
View
HPCA
2002
IEEE
16 years 2 months 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
15 years 5 days 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 7 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...
144
Voted
AAAI
2006
15 years 3 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»
15 years 2 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