1082 search results - page 206 / 217 » Ontological Semantics for the Use of UML in Conceptual Model... |
POPL
2000
ACM
13 years 11 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
WCE
2007
13 years 8 months ago
2007
Abstract—We are interested in the problem of multiagent systems development for risk detecting and emergency response in an uncertain and partially perceived environment. The eva...
CISIS
2010
IEEE
14 years 2 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
CIKM
2010
Springer
13 years 5 months ago
2010
Springer
The explosive increase of image data on Internet has made it an important, yet very challenging task to index and automatically annotate image data. To achieve that end, sophistic...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...