Sciweavers

1523 search results - page 198 / 305
» Partially ordered secretaries
Sort
View
PRESENCE
2007
151views more  PRESENCE 2007»
15 years 9 days ago
Haptic Feedback in a Telepresence System for Endoscopic Heart Surgery
The implementation of telemanipulator systems for cardiac surgery enabled heart surgeons to perform delicate minimally invasive procedures with high precision under stereoscopic v...
Hermann Georg Mayer, Istvan Nagy, Alois Knoll, Eva...
ICCV
2011
IEEE
14 years 25 days ago
The Power of Comparative Reasoning
Rank correlation measures are known for their resilience to perturbations in numeric values and are widely used in many evaluation metrics. Such ordinal measures have rarely been ...
Jay Yagnik, Dennis Strelow, David Ross, Ruei-sung ...
112
Voted
CORR
2007
Springer
141views Education» more  CORR 2007»
15 years 23 days ago
Acyclicity of Preferences, Nash Equilibria, and Subgame Perfect Equilibria: a Formal and Constructive Equivalence
Abstract. Sequential game and Nash equilibrium are basic key concepts in game theory. In 1953, Kuhn showed that every sequential game has a Nash equilibrium. The two main steps of ...
Stéphane Le Roux
106
Voted
POPL
2010
ACM
15 years 10 months ago
On the Verification Problem for Weak Memory Models
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
Ahmed Bouajjani, Madanlal Musuvathi, Mohamed Faouz...
CDC
2008
IEEE
101views Control Systems» more  CDC 2008»
15 years 7 months ago
Modeling and control of the heart left ventricle supported with a rotary assist device
—A Rotary Left Ventricular Assist Device (RLVAD) is a mechanical pump implanted in patients with congestive heart failure to assist their left ventricle in pumping blood through ...
Marwan A. Simaan