39 search results - page 4 / 8 » Supporting the Investigation and Planning of Pragmatic Reuse... |
ASE
2006
13 years 6 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
ICRA
2005
IEEE
13 years 12 months ago
2005
IEEE
— We continue our investigation into the application of pervasive, embedded networks to support multi-robot tasks. In this work we use a new a hardware platform, the GNATs, to ai...
WSC
2000
13 years 7 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
EKAW
2010
Springer
13 years 4 months ago
2010
Springer
Ontology Summarization has been found useful to facilitate ontology engineering tasks in a number of different ways. Recently, it has been recognised as a means to facilitate ontol...
TABLETOP
2006
IEEE
14 years 8 days ago
2006
IEEE
Advancements in mixed-reality (MR) systems have concentrated on the technology required for implementation, providing proof-of-concepts by means of technology-tailored usage scena...