9067 search results - page 1694 / 1814 » Adaptive Model Checking |
161
click to vote
MAM
2006
15 years 6 months ago
2006
Reconfigurable systems can offer the high spatial parallelism and fine-grained, bit-level resource control traditionally associated with hardware implementations, along with the f...
184
click to vote
FGCS
2007
15 years 6 months ago
2007
In this paper we present CAMELotGrid, a tool to manage Grid computations of Cellular Automata that support the efficient simulation of complex systems modeled by a very large numb...
173
click to vote
PR
2008
15 years 6 months ago
2008
In this paper, we extend the conventional vector quantization by incorporating a vigilance parameter, which steers the tradeoff between plasticity and stability during incremental...
175
click to vote
PR
2006
15 years 6 months ago
2006
Sign language communication includes not only lexical sign gestures but also grammatical processes which represent inflections through systematic variations in sign appearance. We...
172
click to vote
SIAMIS
2008
15 years 6 months ago
2008
Motion of curves governed by geometric evolution laws, such as mean curvature flow and surface diffusion, is the basis for many algorithms in image processing. If the images to be ...