13489 search results - page 2290 / 2698 » Operating System |
204
click to vote
IS
2006
15 years 6 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
138
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
To improve on current methods of minimally invasive surgery, research is being carried out on systems that will permit procedures to be conducted on the micro-scale using remotely ...
157
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Virtual human simulation integrated into virtual reality applications is mainly used for virtual representation of the user in virtual environment or for interactions between the ...
164
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
A service-oriented architecture enables composite applications that support business processes to be defined and built dynamically from loosely coupled and interoperable web servi...
208
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— The centroidal momentum of a humanoid robot is the sum of the individual link momenta, after projecting each to the robot’s Center of Mass (CoM). Centroidal momentum is a lin...