814 search results - page 29 / 163 » Generic Model Abstraction from Examples |
143
click to vote
KES
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
102
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. An algorithm to detect invisible relevant persons in a homogeneous social network is studied with computer simulation. The network is effective as a model for contempora...
133
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
129
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. Building visual recognition models that adapt across different domains is a challenging task for computer vision. While feature-learning machines in the form of hierarchi...
119
click to vote
ISTA
2008
15 years 3 months ago
2008
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...