7820 search results - page 1502 / 1564 » Formalization of Time and Space |
193
Voted
IBPRIA
2005
Springer
15 years 11 months 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...
142
click to vote
ICCS
2005
Springer
15 years 11 months 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 ...
160
click to vote
LCPC
2005
Springer
15 years 11 months 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 ...
187
click to vote
NIME
2005
Springer
15 years 11 months 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...
151
click to vote
WG
2005
Springer
15 years 11 months 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...