1279 search results - page 126 / 256 » Fast Implementations of Automata Computations |
125
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Crowd simulation models are currently lacking a commonly accepted validation method. In this paper, we propose level of presence achieved by a human in a virtual environment (VE) ...
163
click to vote
FORMATS
2010
Springer
15 years 19 days ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
117
Voted
CHES
2000
Springer
15 years 6 months ago
2000
Springer
The generation of prime numbers underlies the use of most public-key schemes, essentially as a major primitive needed for the creation of key pairs or as a computation stage appear...
106
click to vote
DSVIS
2008
Springer
15 years 4 months ago
2008
Springer
Graphical rendering must be fast enough so as to avoid hindering the user perception/action loop. Traditionally, programmers interleave descriptions and optimizations to achieve su...
159
Voted
CGA
2005
15 years 2 months ago
2005
A novel Monte Carlo noise reduction operator is proposed in this paper. We apply and extend the standard bilateral filtering method and build a new local adaptive noise reduction k...