Sciweavers

5202 search results - page 211 / 1041
» A Survey of Human Computation Systems
Sort
View
DFG
2009
Springer
16 years 1 months ago
Iterative Compression for Exactly Solving NP-Hard Minimization Problems
Abstract. We survey the conceptual framework and several applications of the iterative compression technique introduced in 2004 by Reed, Smith, and Vetta. This technique has proven...
Jiong Guo, Hannes Moser, Rolf Niedermeier
FOSAD
2009
Springer
16 years 1 months ago
Logic in Access Control (Tutorial Notes)
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and t...
Martín Abadi
MA
1998
Springer
167views Communications» more  MA 1998»
15 years 10 months ago
Reactive Tuple Spaces for Mobile Agent Coordination
Mobile active computational entities introduce peculiar problems in the coordination of distributed application components. The paper surveys several coordination models for mobil...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
MICCAI
1998
Springer
15 years 10 months ago
Virtual Reality Vitrectomy Simulator
In this study, a virtual reality vitrectomy simulator is being developed to assist Ophthalmolgy residents in correcting retinal detachments. To simulate this type of surgery, a thr...
Paul F. Neumann, Lewis L. Sadler, Jon Gieser
ICRA
1993
IEEE
126views Robotics» more  ICRA 1993»
15 years 10 months ago
Toward a New Intelligent Reactive Controller for Autonomous Mobile Robots
A survey of blackboard robotics applications shows the improvements of blackboard models used in telerobotics and autonomous robots from the use of sequential blackboard in the ro...
Jean-Yves Tigli, Michel Occello, M.-C. Thomas