3172 search results - page 502 / 635 » On the Random-Self-Reducibility of Complete Sets |
157
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
178
click to vote
CGI
2001
IEEE
15 years 10 months ago
2001
IEEE
Javra is a Java package for handling VRML scene graphs; it operates either stand-alone or in combination with a VRML browser. The combination of Javra and a VRML browser forms an ...
179
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
208
click to vote
VW
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a text-to-audiovisual speech synthesizer system incorporating the head and eye movements. The face is modeled using a set of images of a human subject. Visemes...
181
click to vote
ECML
1987
Springer
15 years 10 months ago
1987
Springer
This paper examines the induction of classification rules from examples using real-world data. Real-world data is almost always characterized by two features, which are important ...