9018 search results - page 1710 / 1804 » 3D-Brain Model Software |
126
Voted
SAC
2008
ACM
15 years 18 days ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
116
click to vote
SAC
2008
ACM
15 years 18 days ago
2008
ACM
The latest computer and communication technologies in combination with an enhanced ECG analysis system can be used to improve cardiac patient's follow-up out-of-hospital. In ...
85
Voted
FOCM
2010
14 years 11 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
78
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract— For robotic manipulation tasks in uncertain environments, good force control can provide significant benefits. The design of force-controlled actuators typically revo...
108
Voted
ICWE
2010
Springer
14 years 11 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...