Sciweavers

7536 search results - page 1192 / 1508
» The CLEAR 2007 Evaluation
Sort
View
ROMAN
2007
IEEE
110views Robotics» more  ROMAN 2007»
16 years 29 days ago
Does Disturbance Discourage People from Communicating with a Robot?
— We suggest that people’s responses to a robot of which attention starts to be distracted show whether they accept the robot as an intentional communication partner or not. Hu...
Claudia Muhl, Yukie Nagai
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
16 years 29 days ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
RTAS
2007
IEEE
16 years 29 days ago
Preemption Threshold Scheduling: Stack Optimality, Enhancements and Analysis
Using preemption threshold scheduling (PTS) in a multi-threaded real-time embedded system reduces system preemptions and hence reduces run-time overhead while still ensuring real-...
Rony Ghattas, Alexander G. Dean
RTCSA
2007
IEEE
16 years 29 days ago
Virtual Full Replication by Adaptive Segmentation
We propose Virtual Full Replication by Adaptive segmentation (ViFuR-A), and evaluate its ability to maintain scalability in a replicated real-time database. With full replication ...
Gunnar Mathiason, Sten F. Andler, Sang Hyuk Son
179
Voted
SASO
2007
IEEE
16 years 29 days ago
On Scaling Multi-Agent Task Reallocation Using Market-Based Approach
Multi-agent systems (MAS) provide a promising technology for addressing problems such as search and rescue missions, mine sweeping, and surveillance. These problems are a form of ...
Rajesh K. Karmani, Timo Latvala, Gul Agha
« Prev « First page 1192 / 1508 Last » Next »