419 search results - page 68 / 84 » Automatic Synthesis of Real Time Systems |
132
click to vote
ASE
2005
15 years 1 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
125
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
137
click to vote
HCI
2007
15 years 3 months ago
2007
This contribution presents our approach for an instrumented automatic gesture recognition system for use in Augmented Reality, which is able to differentiate static and dynamic ges...
107
click to vote
MAM
2002
15 years 1 months ago
2002
The use of a centralised planning scheduler in fieldbus-based systems requiring real-time operation has proved to be a good compromise between operational flexibility and timeline...
102
click to vote
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
Developing accurate and robust palmprint verification algorithms is one of the key issues in automatic palmprint recognition systems. Recently, orientation based coding algorithms...