5015 search results - page 696 / 1003 » Model Checking a Path |
160
click to vote
VRST
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents an image-based walkthrough technique where reference images are sparsely sampled along a path. The technique relies on a simple user interface for rapid modeli...
183
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
Motivated to a large extent by the substantial and growing prominence of the World-Wide Web and the potential benefits that may be obtained by applying database concepts and tech...
278
click to vote
FOGA
2011
14 years 10 months ago
2011
The Vose dynamical system model of the simple genetic algorithm models the behavior of this algorithm for large population sizes and is the basis of the exact Markov chain model. ...
170
Voted
ALGOSENSORS
2008
Springer
15 years 8 months ago
2008
Springer
With the current progress in robot technology and related areas, sophisticated moving and sensing capabilities are at hand to design robots capable of solving seemingly complex tas...
200
click to vote
ISCAPDCS
2001
15 years 8 months ago
2001
Reliable communication in injured hypercubes with faulty links/nodes using directed safety levels is studied in this paper. In this approach, each node u in an n-dimensional hyper...