525 search results - page 66 / 105 » Systems Development Using Z Generics |
EDUTAINMENT
2009
Springer
14 years 2 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
14 years 1 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
14 years 24 days 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
13 years 9 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
13 years 11 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...