71 search results - page 12 / 15 » An Evolving Algebra Abstract Machine |
125
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— This paper presents a novel methodology for detecting collisions of cylindrically shaped rigid bodies moving in three dimensions. This algorithm uses line geometry and ...
137
click to vote
SCIA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Level set methods are a popular way to solve the image segmentation problem in computer image analysis. A contour is implicitly represented by the zero level of a signed ...
119
Voted
PPSN
2010
Springer
15 years 4 days ago
2010
Springer
Abstract. The game of Go has attracted much attention from the artificial intelligence community. A key feature of Go is that humans begin to learn on a small board, and then incr...
122
click to vote
LCR
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. As an alternative to message passing, Rochester's InterWeave system allows the programmer to map shared segments into programs spread across heterogeneous, distribut...
122
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...