Sciweavers

5363 search results - page 506 / 1073
» Building the Cerebellum in a Computer
Sort
View
RTCSA
2006
IEEE
16 years 1 months ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
SSDBM
2006
IEEE
147views Database» more  SSDBM 2006»
16 years 1 months ago
Task-Oriented Integrated Use of Biological Web Data Sources
Biological web data sources have now become essential information sources for researchers. However, their use is tedious, labor-intensive, repetitive, and possibly involve the int...
Mustafa Kirac, Ali Cakmak, Gultekin Özsoyoglu
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
ACOM
2006
Springer
16 years 1 months ago
Using Social Commitments to Control the Agents' Freedom of Speech
Communication is essential in multi-agent systems, since it allows agents to share knowledge and to coordinate. However, in open multi-agent systems, autonomous and heterogeneous a...
Guillaume Muller, Laurent Vercouter
COMPGEOM
2006
ACM
16 years 1 months ago
Refolding planar polygons
Abstract This paper describes an algorithm for generating a guaranteed intersectionfree interpolation sequence between any pair of compatible polygons. Our algorithm builds on prio...
Hayley N. Iben, James F. O'Brien, Erik D. Demaine