6274 search results - page 1097 / 1255 » From query complexity to computational complexity |
157
click to vote
UM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The World Wide Web has provided users with the opportunity to access from any computer the largest set of information ever existing. Researchers have analyzed how such us...
185
Voted
DLT
2009
15 years 2 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
182
Voted
IDA
2011
Springer
14 years 11 months ago
2011
Springer
Ubiquitous Knowledge Discovery is a new research area at the intersection of machine learning and data mining with mobile and distributed systems. In this paper the main character...
181
Voted
CORR
2012
Springer
14 years 10 days ago
2012
Springer
We address the problem of learning the parameters in graphical models when inference is intractable. A common strategy in this case is to replace the partition function with its B...
140
Voted
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Salient areas in natural scenes are generally regarded as the candidates of attention focus in human eyes, which is the key stage in object detection. In computer vision, many mod...