3172 search results - page 117 / 635 » On the Random-Self-Reducibility of Complete Sets |
167
click to vote
WETICE
2003
IEEE
16 years 9 days ago
2003
IEEE
This paper presented an approach for the evaluation of a collaborative system, after the completion of system development and software testing but before its deployment. Scenario ...
176
click to vote
DAC
2003
ACM
16 years 9 days ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
193
click to vote
AC
2003
Springer
16 years 8 days ago
2003
Springer
A completely automatic face recognition system is presented. The method works on color and gray level images: after having localized the face and the facial features, it determines...
157
click to vote
ICALP
2003
Springer
16 years 7 days ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
192
click to vote
ICDT
2003
ACM
16 years 7 days ago
2003
ACM
XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragm...