Sciweavers

2557 search results - page 373 / 512
» Goal-Based Modeling of Dynamically Adaptive System Requireme...
Sort
View
ICRA
2009
IEEE
117views Robotics» more  ICRA 2009»
14 years 2 months ago
Safe robot arm with safe joint mechanism using nonlinear spring system for collision safety
—Collision safety between humans and robots has drawn much attention since service robots are increasingly being used in human environments. A safe robot arm based on passive com...
Jung-Jun Park, Hwi-Su Kim, Jae-Bok Song
ATAL
2010
Springer
13 years 8 months ago
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enric...
DSRT
2005
IEEE
14 years 1 months ago
Using Web Services and Data Mediation/Storage Services to Enable Command and Control to Simulation Interoperability
The Extensible Battle Management Language project has implemented XML based data mediation services to translate from legacy XML schemas into XML schemas, based on a common tag se...
Andreas Tolk, J. Mark Pullen
SIGMETRICS
1996
ACM
174views Hardware» more  SIGMETRICS 1996»
14 years 4 days ago
Embra: Fast and Flexible Machine Simulation
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
Emmett Witchel, Mendel Rosenblum
CHI
2008
ACM
14 years 8 months ago
Improving the performance of motor-impaired users with automatically-generated, ability-based interfaces
We evaluate two systems for automatically generating personalized interfaces adapted to the individual motor capabilities of users with motor impairments. The first system, SUPPLE...
Krzysztof Z. Gajos, Jacob O. Wobbrock, Daniel S. W...