Sciweavers

1580 search results - page 44 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
DAGSTUHL
2007
15 years 7 months ago
Policy-based Home Care Systems
Abstract. Technology to support care at home is a promising alternative to traditional approaches. However, home care systems present significant technical challenges. For example,...
Feng Wang
CORR
2006
Springer
100views Education» more  CORR 2006»
15 years 6 months ago
Using groups for investigating rewrite systems
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
Patrick Dehornoy
ICALT
2008
IEEE
16 years 18 days ago
An Augmented Reality System for Learning the Interior of the Human Body
Augmented Reality has been used for developing systems with learning purposes. In this paper, we present an Augmented Reality system for learning the interior of the human body. W...
Carmen Juan, Francesca Beatrice, Juan Cano
INFOCOM
2008
IEEE
16 years 17 days ago
SVATS: A Sensor-Network-Based Vehicle Anti-Theft System
Abstract—Today vehicle theft rate is very high, thus tracking/alarming systems are being deployed with an increasingly popularity. These systems however bear some limitations suc...
Hui Song, Sencun Zhu, Guohong Cao
KESAMSTA
2007
Springer
16 years 9 days ago
Quantitative Analysis of Single-Level Single-Mediator Multi-agent Systems
Queueing Theory deals with problems where some restricted resource should be shared between competitive flow of requests. In this paper we use Queueing Theory methods to perform a...
Moon Ho Lee, Aliaksandr Birukou, Alexander N. Dudi...