9626 search results - page 501 / 1926 » Invariant Based Programming |
204
click to vote
WACV
2005
IEEE
16 years 1 months ago
2005
IEEE
A method for the simultaneous localization and recognition of dynamic hand gestures is proposed. At the core of this method is a dynamic space-time warping (DSTW) algorithm, that ...
176
click to vote
APLAS
2005
ACM
16 years 1 months ago
2005
ACM
Dependences for Alarm Diagnosis Xavier Rival ´Ecole Normale Sup´erieure 45, rue d’Ulm, 75230, Paris cedex 5, France We propose a framework for dependence analyses, adapted –a...
213
click to vote
SAS
2005
Springer
16 years 1 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
247
click to vote
CCS
2003
ACM
16 years 25 days ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
205
click to vote
ICRA
2002
IEEE
16 years 16 days ago
2002
IEEE
— Closed-loop, asymptotically stable walking motions are designed for a 5-link, planar bipedal robot model with one degree of underactuation. Parameter optimization is applied to...