Sciweavers

929 search results - page 20 / 186
» Computer assistance for model definition
Sort
View
CHI
2003
ACM
16 years 5 days ago
CHI-ball, an interactive device assisting martial arts education for children
In this paper, we discuss the output of a student project about the design of a physically interactive system to assist the education of martial arts to children. The conceptual s...
Markus Heberlein, Hayashi Takafumi, Nashold Sarah,...
ICPR
2010
IEEE
15 years 6 months ago
Integrating Object Detection with 3D Tracking towards a Better Driver Assistance System
Driver assistance helps save lives. Accurate 3D pose is required to establish if a traffic sign is relevant to the driver. We propose a real-time system that integrates single vi...
Victor Adrian Prisacariu, Radu Timofte, Karel Zimm...
CHI
2000
ACM
15 years 4 months ago
Agents to assist in finding help
When a novice needs help, often the best solution is to find a human expert who is capable of answering the novice’s questions. But often, novices have difficulty characterizing...
Adriana Santarosa Vivacqua, Henry Lieberman
ENTCS
2006
114views more  ENTCS 2006»
14 years 12 months ago
Prototyping SOS Meta-theory in Maude
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
Mohammad Reza Mousavi, Michel A. Reniers
EDOC
2008
IEEE
15 years 6 months ago
EA4UP: An Enterprise Architecture-Assisted Telecom Service Development Method
The cost of a telecom service development is correlated to the discontinuity and the complexity of the process. To solve this problem, we propose a method dedicated to telecom ser...
Jacques Simonin, Francis Alizon, Jean-Pierre Desch...