192 search results - page 24 / 39 » Nondeterminism in Constructive Z |
105
click to vote
TEDU
2010
14 years 10 months ago
2010
In training and gaming systems, distributed multimedia are often used, in which the basic content elements must be conveyed or presented in a synchronized order at synchronized mom...
FORMATS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
110
click to vote
ICB
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We present a novel approach for human gait recognition that inherently combines appearance and motion. Dynamic texture descriptors, Local Binary Patterns from Three Ortho...
106
click to vote
TCS
2011
14 years 6 months ago
2011
We prove that if a set X ⊆ Z2 weakly self-assembles at temperature 1 in a deterministic (Winfree) tile assembly system satisfying a natural condition known as pumpability, then ...
212
click to vote
ASPLOS
2009
ACM
16 years 10 days ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...