12981 search results - page 2137 / 2597 » Model Checking (Abstract) |
210
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
228
click to vote
ECCV
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We propose a new method for face recognition under arbitrary pose and illumination conditions, which requires only one training image per subject. Furthermore, no limitat...
158
click to vote
ISW
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
190
click to vote
PRICAI
2004
Springer
16 years 4 days ago
2004
Springer
We present a novel geometric model for robot mapping based on shape. Shape similarity measure and matching techniques originating from computer vision are specially redesigned for ...
211
click to vote
W2GIS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Finding single pair shortest paths on surface is a fundamental problem in various domains, like Geographic Information Systems (GIS) 3D applications, robotic path plannin...