Sciweavers

3582 search results - page 240 / 717
» Designing games with a purpose
Sort
View
PDCAT
2007
Springer
15 years 7 months ago
Two Tree-Based Algorithms for Network Spare Capacity Design
Abstract. Survivable network design has become increasingly important due to the need for reliable communication service. Its main purpose is to provide cost-efficient spare capaci...
Hovhannes A. Harutyunyan, Calin D. Morosan, Yunzan...
46
Voted
ICRA
2006
IEEE
92views Robotics» more  ICRA 2006»
15 years 6 months ago
Modeling of the Supporting Legs for Designing Biomimetic Water Strider Robots
— Recent studies on the insect water strider showed that the insect heavily relies on surface tension force to stay afloat. Inspired by this insect, water strider robots have be...
Yun Seong Song, Steve H. Suhr, Metin Sitti
HASKELL
2005
ACM
15 years 6 months ago
TypeCase: a design pattern for type-indexed functions
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...
Bruno C. D. S. Oliveira, Jeremy Gibbons
99
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
VISUALIZATION
1999
IEEE
15 years 5 months ago
Digital Design of a Surgical Simulator for Interventional Magnetic Resonance Imaging
We present the design of a simulator for a prototype interventional magnetic resonance imaging scanner. This MRI scanner is integrated with an operating theater, enabling new tech...
Terry S. Yoo, Penny Rheingans