3342 search results - page 280 / 669 » Automating Abstract Interpretation |
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...
154
Voted
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...
122
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Most large-scale public environments provide direction signs to facilitate the orientation for humans and to find their way to a goal location in the environment. Thus...
139
click to vote
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Semi-supervised clustering models, that incorporate user provided constraints to yield meaningful clusters, have recently become a popular area of research. In this paper...