Sciweavers

2032 search results - page 216 / 407
» Encodings of the Sequence Constraint
Sort
View
STACS
2010
Springer
15 years 11 months ago
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
Angelo Montanari, Pietro Sala, Guido Sciavicco
LCTRTS
2001
Springer
15 years 11 months ago
ILP-based Instruction Scheduling for IA-64
The IA-64 architecture has been designed as a synthesis of VLIW and superscalar design principles. It incorporates typical functionality known from embedded processors as multiply...
Daniel Kästner, Sebastian Winkel
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
FGR
1998
IEEE
110views Biometrics» more  FGR 1998»
15 years 10 months ago
Dynamic Models of Human Motion
This paper describes experiments in human motion understanding, defined here as estimation of the physical state of the body (the Plant) combined with interpretation of that part ...
Christopher Richard Wren, Alex Pentland
IEAAIE
1998
Springer
15 years 10 months ago
A Combined Probabilistic Framework for Learning Gestures and Actions
Abstract. In this paper we introduce a probabilistic approach to support visual supervision and gesture recognition. Task knowledge is both of geometric and visual nature and it is...
Francisco Escolano, Miguel Cazorla, Domingo Gallar...