5100 search results - page 873 / 1020 » The Linear Complexity of a Graph |
154
Voted
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
162
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Using Boolean AND and OR functions to combine the responses of multiple one- or two-class classifiers in the ROC space may significantly improve performance of a detection system o...
127
Voted
ARVLSI
1999
IEEE
15 years 9 months ago
1999
IEEE
We describe a multi-chip CMOS VLSI visual motion processing system which combines analog circuitry with an asynchronous digital interchip communications protocol to allow more com...
168
Voted
FOCS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
222
click to vote
SIGGRAPH
1999
ACM
15 years 9 months ago
1999
ACM
In this paper, a new technique for modeling textured 3D faces is introduced. 3D faces can either be generated automatically from one or more photographs, or modeled directly throu...