Sciweavers

5363 search results - page 575 / 1073
» Building the Cerebellum in a Computer
Sort
View
FOSSACS
2007
Springer
16 years 1 months ago
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
Matthew Hague, C.-H. Luke Ong
HUC
2007
Springer
16 years 1 months ago
An Empirical Study of the Potential for Context-Aware Power Management
Context-aware power management (CAPM) uses context (e.g., user location) likely to be available in future ubiquitous computing environments, to effectively power manage a building...
Colin Harris, Vinny Cahill
UCS
2007
Springer
16 years 1 months ago
C-ANIS - A Contextual, Automatic and Dynamic Service-Oriented Integration Framework
Ubiquitous computing environments are highly dynamic by nature. Services provided by different devices can appear and disappear as, for example, devices join and leave these envir...
Noha Ibrahim, Frederic Le Mouel, Stéphane F...
WAPCV
2007
Springer
16 years 1 months ago
Simultaneous Robot Localization and Mapping Based on a Visual Attention System
Visual attention regions are useful for many applications in the field of computer vision and robotics. Here, we introduce an application to simultaneous robot localization and ma...
Simone Frintrop, Patric Jensfelt, Henrik I. Christ...
ICAC
2006
IEEE
16 years 1 months ago
Enabling Self-Managing Applications using Model-based Online Control Strategies
— The increasing heterogeneity, dynamism, and uncertainty of emerging DCE (Distributed Computing Environment) systems imply that an application must be able to detect and adapt t...
Viraj Bhat, Manish Parashar, Hua Liu, Mohit Khande...