Sciweavers

3009 search results - page 247 / 602
» The Expressive Rate of Constraints
Sort
View
INEX
2004
Springer
16 years 32 min ago
NEXI, Now and Next
NEXI was introduced in INEX 2004 as a query language for specifying structured and unstructured queries on XML documents. A language expressive enough for INEX yet simple enough f...
Andrew Trotman, Börkur Sigurbjörnsson

Publication
162views
15 years 10 months ago
Relations between Facial Display, Eye Gaze and Head Tilt: Dominance Perception Variations of Virtual Agents
In this paper, we focus on facial displays, eye gaze and head tilts to express social dominance. In particular, we are interested in the interaction of different non-verbal cues. W...
Nikolaus Bee, Stefan Franke and Elisabeth André
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
15 years 10 months ago
Using Verification Technology to Specify and Detect Malware
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
Andreas Holzer, Johannes Kinder, Helmut Veith
FLAIRS
2006
15 years 8 months ago
Verbalization Enhanced Tutoring
Intelligent Tutoring Systems (ITS) typically contain elements of instruction, assessment, feedback and guidance for the trainee. Most of the time, the ITS is controlling the dialo...
Christel Kemke, Shamima Mithun
ISVC
2010
Springer
15 years 8 months ago
Single camera stereo system using prism and mirrors
Stereo and 3D reconstruction are used by many applications such as object modeling, facial expression studies and human motion analysis. But synchronizing multiple high frame rate ...
Gowri Somanath, Rohith MV, Chandra Kambhamettu