99 search results - page 17 / 20 » Temporal Integrity Constraints with Indeterminacy |
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Path deformation is a technique that was introduced to generate robot motion wherein a path, that has been computed beforehand, is continuously deformed on-line in resp...
RTAS
2007
IEEE
14 years 1 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
ASWEC
2006
IEEE
14 years 1 months ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
SACMAT
2004
ACM
14 years 24 days ago
2004
ACM
Access control in enterprises is a key research area in the realm of Computer Security because of the unique needs of the target enterprise. As the enterprise typically has large ...
ECCV
2010
Springer
13 years 8 months ago
2010
Springer
We present a novel variational method for the simultaneous estimation of dense scene flow and structure from stereo sequences. In contrast to existing approaches that rely on a ful...