2203 search results - page 377 / 441 » Temporal Abstract Interpretation |
112
click to vote
DCOSS
2005
Springer
15 years 5 months ago
2005
Springer
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...
106
click to vote
EUC
2005
Springer
15 years 5 months ago
2005
Springer
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...
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The increasing gap of processor and main memory performance underlines the need for cache-optimizations, especially on memoryintensive applications. Tools which are able ...
JSAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
138
click to vote
MLMI
2005
Springer
15 years 5 months ago
2005
Springer
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...