8701 search results - page 1550 / 1741 » XML-Based Feature Modelling |
134
Voted
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 ...
136
Voted
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...
118
Voted
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...
134
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...
135
Voted
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...