Sciweavers

641 search results - page 90 / 129
» Automatic detection of interaction groups
Sort
View
118
Voted
HAPTICS
2008
IEEE
15 years 10 months ago
Autocalibrated Gravity Compensation for 3DoF Impedance Haptic Devices
Abstract. The apparent mass of haptic device end-effector depends on its position inside the workspace. This paper presents a recursive algorithm to detect effective direction of g...
Alessandro Formaglio, Marco Fei, Sara Mulatto, Mau...
128
Voted
APSEC
2005
IEEE
15 years 9 months ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...
117
Voted
VL
2005
IEEE
117views Visual Languages» more  VL 2005»
15 years 9 months ago
Goal-Directed Debugging of Spreadsheets
We present a semi-automatic debugger for spreadsheet systems that is specifically targeted at end-user programmers. Users can report expected values for cells that yield incorrec...
Robin Abraham, Martin Erwig
126
Voted
DIGRA
2005
Springer
15 years 9 months ago
A Game Architecture for Emergent Story-Puzzles in a Persistent World
This paper presents the design of an architecture for narrative games with story-puzzles like classic graphic adventures. The system is able to create new short stories in each se...
Federico Peinado, Pedro Pablo Gómez-Mart&ia...
127
Voted
SIGCSE
2000
ACM
155views Education» more  SIGCSE 2000»
15 years 8 months ago
A study of common pitfalls in simple multi-threaded programs
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
Sung-Eun Choi, E. Christopher Lewis