Sciweavers

8099 search results - page 1488 / 1620
» Higher-Order Task Models
Sort
View
142
Voted
PPAM
2007
Springer
15 years 9 months ago
Enhancing Productivity in High Performance Computing through Systematic Conditioning
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
Magdalena Slawiñska, Jaroslaw Slawinski, Va...
RV
2007
Springer
130views Hardware» more  RV 2007»
15 years 9 months ago
Statistical Runtime Checking of Probabilistic Properties
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regeh...
ICRA
2005
IEEE
138views Robotics» more  ICRA 2005»
15 years 9 months ago
The Role of Motion Information in Learning Human-Robot Joint Attention
— To realize natural human-robot interactions and investigate the developmental mechanism of human communication, an effective approach is to construct models by which a robot im...
Yukie Nagai
142
Voted
MSWIM
2005
ACM
15 years 9 months ago
Huginn: a 3D visualizer for wireless ns-2 traces
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...
Björn Scheuermann, Holger Füßler, ...
117
Voted
IUI
2004
ACM
15 years 9 months ago
Sheepdog: learning procedures for technical support
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
Tessa A. Lau, Lawrence D. Bergman, Vittorio Castel...
« Prev « First page 1488 / 1620 Last » Next »