20126 search results - page 106 / 4026 » Timed Transition Systems |
105
Voted
RP
2010
Springer
15 years 1 months ago
2010
Springer
Chrobak (1986) proved that a language accepted by a given nondeterministic finite automaton with one-letter alphabet, i.e., a unary NFA, with n states can be represented as the uni...
128
Voted
ACG
2006
Springer
15 years 9 months ago
2006
Springer
A method to simulate the physics of the game of pool is presented. The method is based upon a parametrization of ball motion which allows the time of occurrence of events, such as...
107
click to vote
EUROGRAPHICS
2010
Eurographics
16 years 12 days ago
2010
Eurographics
Realistic animation and rendering of the ocean is an important aspect for simulators, movies and video games. By nature, the ocean is a difficult problem for Computer Graphics: i...
113
Voted
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— Service robots designed for domestic settings need to navigate in an environment that they have to share with their users. Thus, they have to be able to report their current st...
113
click to vote
MSCS
2006
15 years 3 months ago
2006
We investigate natural systems of fundamental sequences for ordinals below the Howard Bachmann ordinal and study growth rates of the resulting slow growing hierarchies. We consider...