2364 search results - page 388 / 473 » An Engine for Computing Well-Founded Models |
149
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
132
click to vote
ICNS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The study of protocol behavior and traffic characteristics in a simulated environment is commonly supported by ad-hoc or general purpose simulators (e.g., Opnet, NS-2)...
134
click to vote
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
166
click to vote
CW
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present a simple and robust Mixed Reality (MR) framework that allows for real-time interaction with Virtual Humans in real and virtual environments under consist...
130
click to vote
HAPTICS
2006
IEEE
15 years 10 months ago
2006
IEEE
A seven degree-of-freedom (DOF) haptic device has been developed with applications towards robot-assisted minimally invasive surgery. The device consists of four degrees of force ...