Sciweavers

1301 search results - page 57 / 261
» Specifications via Realizability
Sort
View
ECCV
2006
Springer
14 years 12 months ago
Statistical Priors for Efficient Combinatorial Optimization Via Graph Cuts
Abstract. Bayesian inference provides a powerful framework to optimally integrate statistically learned prior knowledge into numerous computer vision algorithms. While the Bayesian...
Daniel Cremers, Leo Grady
ECCV
2002
Springer
14 years 12 months ago
What Energy Functions Can Be Minimized via Graph Cuts?
In the last few years, several new algorithms based on graph cuts have been developed to solve energy minimization problems in computer vision. Each of these techniques constructs...
Vladimir Kolmogorov, Ramin Zabih
ICDE
2007
IEEE
112views Database» more  ICDE 2007»
14 years 11 months ago
Indexing Point Triples Via Triangle Geometry
Database search for images containing icons with specific mutual spatial relationships can be facilitated by an appropriately structured index. For the case of images containing s...
Charles Ben Cranston, Hanan Samet
SIGSOFT
2004
ACM
14 years 10 months ago
Implementing protocols via declarative event patterns
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
Robert J. Walker, Kevin Viggers
WWW
2007
ACM
14 years 10 months ago
Understanding web search via a learning paradigm
Investigating whether one can view Web searching as a learning process, we examined the searching characteristics of 41 participants engaged in 246 searching tasks. We classified ...
Bernard J. Jansen, Brian Keith Smith, Danielle L. ...