1502 search results - page 205 / 301 » Computational Realizations of Living Systems |
192
click to vote
JAR
2008
15 years 6 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
172
click to vote
JUCS
2002
15 years 6 months ago
2002
: Many believe that today's Web has not yet reached the full potential which globally distributed systems may achieve in terms of information access and use. Realizing this po...
185
click to vote
MAGS
2007
15 years 6 months ago
2007
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
168
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Ball dribbling is a central element of basketball. One main challenge for realizing basketball robots is to stabilize periodic motions of the ball. This task is nontrivial due ...
270
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
Digital 3D mosaics generation is a current trend of NPR (Non Photorealistic Rendering) field; in this demo we present an interactive system realized in JAVA where the user can sim...