7820 search results - page 1502 / 1564 » Formalization of Time and Space |
219
click to vote
IBPRIA
2005
Springer
16 years 9 days ago
2005
Springer
The ability of finding its situation in a given environment is crucial for an autonomous agent. While navigating through a space, a mobile robot must be capable of finding its lo...
149
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Three-dimensional direct numerical simulations are performed of turbulent combustion of initially spherical flame kernels. The chemistry is described by a progress variable which ...
177
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
201
click to vote
NIME
2005
Springer
16 years 8 days ago
2005
Springer
In recent years Computer Network-Music has increasingly captured the attention of the Computer Music Community. With the advent of Internet communication, geographical displacemen...
166
click to vote
WG
2005
Springer
16 years 7 days ago
2005
Springer
We review the concepts of hypertree decomposition and hypertree width from a graph theoretical perspective and report on a number of recent results related to these concepts. We al...