Sciweavers

12373 search results - page 348 / 2475
» Semi-Logarithmic Number Systems
Sort
View
223
Voted
SUTC
2006
IEEE
16 years 1 months ago
An Indoor Localization Mechanism Using Active RFID Tag
The location-aware technology and its application are prerequisite to realize the ubiquitous computing. However, another special system for indoor localization is needed in the co...
Guang-yao Jin, Xiao-Yi Lu, Myong-Soon Park
190
Voted
IFIP
2004
Springer
16 years 27 days ago
Ensuring Termination by Typability
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
Yuxin Deng, Davide Sangiorgi
ICRA
2003
IEEE
94views Robotics» more  ICRA 2003»
16 years 24 days ago
A scalable approach to human-robot interaction
Much of the current research in human-robot interaction is concerned with single systems and single or few users. These systems and their interfaces are generally tightly-coupled ...
Ashley Tews, Maja J. Mataric, Gaurav S. Sukhatme
HICSS
2002
IEEE
76views Biometrics» more  HICSS 2002»
16 years 14 days ago
Software Requirements for Project-Based Learning - CommSy as an Exemplary Approach
Project teams have become an important element in teaching informatics. Web-based groupware systems are increasingly used in such educational settings. This kind of educational te...
Bernd Pape, Wolf-Gideon Bleek, Iver Jackewitz, Mic...
198
Voted
TSMC
1998
135views more  TSMC 1998»
15 years 7 months ago
Universal stabilization using control Lyapunov functions, adaptive derivative feedback, and neural network approximators
— In this paper, the problem of stabilization of unknown nonlinear dynamical systems is considered. An adaptive feedback law is constructed that is based on the switching adaptiv...
Elias B. Kosmatopoulos