525 search results - page 66 / 105 » Systems Development Using Z Generics |
EDUTAINMENT
2009
Springer
15 years 4 months ago
2009
Springer
This paper addresses the issues of distributed interactions in a simulation based medial training environment, where a team of doctors, nurses and assistants are trained for handli...
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
— Manipulating microscopic objects with the necessary dexterity still remains a very challenging task. In this paper, we propose a freeze gripper able to manipulate micro-objects...
ICVS
2003
Springer
15 years 3 months ago
2003
Springer
This paper details a visual concept ontology driven knowledge acquisition methodology. We propose to use a visual concept ontology to guide experts in the visual description of the...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
GI
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...