Sciweavers

2203 search results - page 377 / 441
» Temporal Abstract Interpretation
Sort
View
DCOSS
2005
Springer
15 years 5 months ago
Design of Adaptive Overlays for Multi-scale Communication in Sensor Networks
In wireless sensor networks, energy and communication bandwidth are precious resources. Traditionally, layering has been used as a design principle for network stacks; hence routin...
Santashil PalChaudhuri, Rajnish Kumar, Richard G. ...
EUC
2005
Springer
15 years 5 months ago
A Multi-dimensional Model for Task Representation and Allocation in Intelligent Environments
Abstract. In the future, homes will have numerous intelligent communicating devices, and the user would like to configure and coordinate their actions. Appliances and people in in...
Victor Zamudio, Victor Callaghan, Jeannette Shiaw-...
ICCS
2005
Springer
15 years 5 months ago
Collecting and Exploiting Cache-Reuse Metrics
Abstract. The increasing gap of processor and main memory performance underlines the need for cache-optimizations, especially on memoryintensive applications. Tools which are able ...
Josef Weidendorfer, Carsten Trinitis
JSAI
2005
Springer
15 years 5 months ago
Learning Stochastic Logical Automaton
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
Hiroaki Watanabe, Stephen Muggleton
MLMI
2005
Springer
15 years 5 months ago
Foreground Regions Extraction and Characterization Towards Real-Time Object Tracking
Abstract. Object localization and tracking are key issues in the analysis of scenes for video surveillance or scene understanding applications. This paper presents a contribution t...
José Luis Landabaso, Montse Pardàs