12373 search results - page 348 / 2475 » Semi-Logarithmic Number Systems |
196
click to vote
SUTC
2006
IEEE
16 years 24 days ago
2006
IEEE
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...
169
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
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...
118
click to vote
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
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 ...
160
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
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...
183
click to vote
TSMC
1998
15 years 6 months ago
1998
— 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...