1081 search results - page 45 / 217 » Working with the LR Degrees |
212
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
In this work, we improve on existing work that studied the relationship between the proof system of modern SAT solvers and general resolution. Previous contributions such as those ...
82
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper describes the design of a gravity balanced spatial orthosis. Previous works introduced planar mechanisms only and neglected friction. They relied on counterweight or...
76
Voted
PERSUASIVE
2007
Springer
15 years 6 months ago
2007
Springer
Cueing strategies, such as real-time reminders, are among the most effective methods of persuading individuals to perform healthy behaviors such as taking their medication and exer...
122
click to vote
CLUSTER
2006
IEEE
15 years 6 months ago
2006
IEEE
The Service Level Agreement (SLA) based grid superscheduling approach promotes coordinated resource sharing. Superscheduling is facilitated between administratively and topologica...
90
Voted
GW
2005
Springer
15 years 6 months ago
2005
Springer
This paper aims at describing a new method to simulate the locomotion of hemiplegic subjects. To this end, we propose to use inverse kinematics in order to make the feet follow a t...