1189 search results - page 115 / 238 » The Quotient of an Abstract Interpretation |
CORR
2010
Springer
14 years 11 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...
112
click to vote
DCOSS
2010
Springer
14 years 11 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...
93
Voted
ICRA
2010
IEEE
14 years 11 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...
105
Voted
PKDD
2010
Springer
14 years 11 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...
109
click to vote
WCRE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...