Sciweavers

12487 search results - page 306 / 2498
» Graspable Work Modeling
Sort
View
RTCSA
2005
IEEE
15 years 10 months ago
Run-Time Power Consumption Modeling for Embedded Multimedia Systems
The run-time power consumption model for multimedia application routines in an embedded system is developed in this work. A wide range of benchmarks for these routines such as ima...
Yu Hu, Qing Li, C. C. Jay Kuo
ASP
2005
Springer
15 years 10 months ago
Possibilistic Stable Model Computing
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
Pascal Nicolas, Claire Lefèvre
ICN
2005
Springer
15 years 10 months ago
A Practical and Secure Communication Protocol in the Bounded Storage Model
Proposed by Maurer the bounded storage model has received much academic attention in the recent years. Perhaps the main reason for this attention is that the model facilitates a un...
Erkay Savas, Berk Sunar
IAT
2003
IEEE
15 years 10 months ago
Modelling and Specifying Scenarios and Agent Behaviour
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
Lijun Shan, Hong Zhu
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
15 years 9 months ago
Modeling of Needle Insertion Forces for Robot-Assisted Percutaneous Therapy
Force information from needle insertions was measured and modeled for use in robot-assisted percutaneous therapies. Data was collected on bovine livers using the Johns Hopkins Uni...
Christina Simone, Allison M. Okamura