1795 search results - page 285 / 359 » On the Complexity of Circuit Satisfiability |
SIGADA
2001
Springer
14 years 2 months ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper is on the Consensus problem, in the context of asynchronous distributed systems made of n processes, at most f of them may crash. A family of failure detector classes s...
PG
2000
IEEE
14 years 2 months ago
2000
IEEE
Recent years have witnessed dramatic growth in the use of subdivision schemes for graphical modeling and animation, especially for the representation of smooth, oftentimes complex...
ELPUB
2000
ACM
14 years 2 months ago
2000
ACM
XML is an SGML-based language designed for the interchange of documents with more flexible and powerful features than those provided by HTML. It can be considered as an intermedia...
CA
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper presents an interactive hierarchical motion control system dedicated to the animation of human figure locomotion in virtual environments. As observed in gait experiment...