Sciweavers

2765 search results - page 249 / 553
» Works and representation
Sort
View
IUI
2010
ACM
16 years 3 months ago
The RelFinder user interface: interactive exploration of relationships between objects of interest
Being aware of the relationships that exist between objects of interest is crucial in many situations. The RelFinder user interface helps to get an overview: Even large amounts of...
Steffen Lohmann, Philipp Heim, Timo Stegemann, J&u...
CHI
2010
ACM
16 years 1 months ago
Learning basic dance choreographies with different augmented feedback modalities
We plan to evaluate different kinds of augmented feedback (tactile, video, sound) for learning basic dance choreographies. Therefore we develop a dance training system based on mo...
Dieter Drobny, Jan Borchers
TACAS
2009
Springer
106views Algorithms» more  TACAS 2009»
16 years 1 months ago
Hierarchical Set Decision Diagrams and Regular Models
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Ham...
179
Voted
CEC
2009
IEEE
16 years 1 months ago
Active categorical perception in an evolved anthropomorphic robotic arm
— Active perception refers to a theoretical approach to the study of perception grounded on the idea that perceiving is a way of acting, rather than a cognitive process whereby t...
Elio Tuci, Gianluca Massera, Stefano Nolfi
ICASSP
2009
IEEE
16 years 1 months ago
Energy-efficient graph-based wavelets for distributed coding in Wireless Sensor Networks
This work presents a class of unidirectional lifting-based wavelet transforms for an arbitrary communication graph in a wireless sensor network. These transforms are unidirectiona...
Godwin Shen, Sundeep Pattem, Antonio Ortega