2869 search results - page 195 / 574 » The Inference Problem: A Survey |
123
click to vote
AICOM
2010
15 years 1 months ago
2010
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal d...
106
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
In this survey paper we give an intuitive treatment of the discrete time quantization of classical Markov chains. Grover search and the quantum walk based search algorithms of Amba...
103
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally pose...
129
Voted
PAA
2006
15 years 29 days ago
2006
Due to the robustness of Gabor features against local distortions caused by variance of illumination, expression and pose, they have been successfully applied for face recognition....
88
Voted
RITA
2006
15 years 29 days ago
2006
: Requirements traceability is central to the issue of requirements management, which is essential for producing quality software. Our focus on requirements traceability addresses ...