2203 search results - page 229 / 441 » Temporal Abstract Interpretation |
140
click to vote
AAAI
1996
15 years 5 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
153
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Assisted living means providing the assisted with custom services, specific to their needs and capabilities. Computer monitoring can supply some of these services, be it ...
125
click to vote
JOLLI
2007
15 years 3 months ago
2007
Abstract This paper presents a framework for the generation of coherent elementary conversational sequences at the speech act level. We will embrace the notion of a cooperative dia...
124
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We study the set of all pseudoline arrangements with contact points which cover a given support. We define a notion of flip which transforms a pseudoline arrangement with contact...
156
click to vote
DCOSS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We have developed TakaTuka, a Java Virtual Machine optimized for tiny embedded devices such as wireless sensor motes. TakaTuka1 requires very little memory and processing...