1368 search results - page 28 / 274 » Perfect Local Computability and Computable Simulations |
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
The Blob Code is a bijective tree code that represents each tree on n labelled vertices as a string of n − 2 vertex labels. In recent years, several researchers have deployed th...
LPAR
2001
Springer
15 years 3 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
112
click to vote
ICRA
1994
IEEE
15 years 2 months ago
1994
IEEE
A dynamic simulation package has been developed which can accurately model the interactions between robots and their environment. It creates a virtual environment in which various...
ICCS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems. In thi...
VISUALIZATION
2002
IEEE
15 years 4 months ago
2002
IEEE
We propose the use of textured splats as the basic display primitives for an open surface fire model. The high-detail textures help to achieve a smooth boundary of the fire and ...