Sciweavers

3928 search results - page 148 / 786
» order 2006
Sort
View
ENTCS
2006
123views more  ENTCS 2006»
15 years 4 months ago
From Discrete Duration Calculus to Symbolic Automata
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...
Laure Gonnord, Nicolas Halbwachs, Pascal Raymond
CN
2007
99views more  CN 2007»
15 years 4 months ago
Reducing the cost of applying adaptive test cases
The testing of a state-based system may involve the application of a number of adaptive test cases. Where the implementation under test (IUT) is deterministic, the response of the...
Robert M. Hierons, Hasan Ural
IVC
2007
115views more  IVC 2007»
15 years 4 months ago
Visual recognition of pointing gestures for human-robot interaction
In this paper, we present an approach for recognizing pointing gestures in the context of human–robot interaction. In order to obtain input features for gesture recognition, we ...
Kai Nickel, Rainer Stiefelhagen
115
Voted
IJCV
2006
206views more  IJCV 2006»
15 years 4 months ago
Highly Accurate Optic Flow Computation with Theoretically Justified Warping
In this paper, we suggest a variational model for optic flow computation based on non-linearised and higher order constancy assumptions. Besides the common grey value constancy ass...
Nils Papenberg, Andrés Bruhn, Thomas Brox, ...
PRESENCE
2006
70views more  PRESENCE 2006»
15 years 4 months ago
Learning, Experience, and Cognitive Factors in the Presence Experiences of Gamers: An Exploratory Relational Study
This paper presents a large scale (N 101) exploratory relational study of computer gamers' gaming habits and their presence experiences. The study posited and examined the ef...
David Nunez, Edwin H. Blake