1596 search results - page 107 / 320 » Quantum property testing |
99
Voted
ASPDAC
2004
ACM
15 years 4 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
106
Voted
JCP
2008
15 years 22 days ago
2008
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...
100
Voted
CVIU
2007
15 years 22 days ago
2007
Estimating intrinsic geometric properties of a surface from a polygonal mesh obtained from range data is an important stage of numerous algorithms in computer and robot vision, co...
121
Voted
ISSRE
2000
IEEE
15 years 5 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
93
Voted
CIKM
2005
Springer
15 years 6 months ago
2005
Springer
We approached the problem as learning how to order documents by estimated relevance with respect to a user query. Our support vector machines based classifier learns from the rele...