1368 search results - page 28 / 274 » Perfect Local Computability and Computable Simulations |
154
click to vote
GECCO
2007
Springer
16 years 1 days 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...
160
click to vote
LPAR
2001
Springer
15 years 10 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...
186
click to vote
ICRA
1994
IEEE
15 years 9 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...
133
click to vote
ICCS
2005
Springer
15 years 11 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...
177
click to vote
VISUALIZATION
2002
IEEE
15 years 10 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 ...