814 search results - page 37 / 163 » Generic Model Abstraction from Examples |
101
click to vote
ICRA
1995
IEEE
15 years 5 months ago
1995
IEEE
A generic architecture for evolutive supervision of robotized assembly tasks is presented. This architecture , at different levels of abstraction, functions for dispatching action...
110
click to vote
WG
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present hardness results, approximation heuristics, and exact algorithms for bottleneck labeled optimization problems arising in the context of graph theory. This long...
100
click to vote
IMCSIT
2010
14 years 12 months ago
2010
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
116
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
133
click to vote
ICDCIT
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A domain-specific service registry should satisfy two requirements at least: coping with diverse service description requirements from different services; supporting sema...