13985 search results - page 2591 / 2797 » Active Feature Models |
143
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
145
click to vote
GCB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract: The production of commercial DNA microarrays is based on a light-directed chemical synthesis driven by a set of masks or micromirror arrays. Because of the natural proper...
122
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
The Java Cryptography Architecture, JCA in short, was created to allow JCA-compliant cryptography providers to be plugged into a JCA-aware application at run time. This configurab...
137
Voted
AFRIGRAPH
2001
ACM
15 years 7 months ago
2001
ACM
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...
141
click to vote
AIPR
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes an approach for using several levels of data fusion in the domain of autonomous off-road navigation. We are focusing on outdoor obstacle detection, and we pre...