Sciweavers

680 search results - page 7 / 136
» Computational Complexity and Anytime Algorithm for Inconsist...
Sort
View
SIGSOFT
2007
ACM
14 years 8 months ago
Measuring empirical computational complexity
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilk...
ICPR
2004
IEEE
14 years 8 months ago
A New Approach For The Registration of Images With Inconsistent Differences
In this paper, we focus on the Image Registration problem. Mathematically, this problem consists of minimizing an energy which is composed of a regularization term and a similarit...
Frédéric J. P. Richard
CSL
2001
Springer
14 years 8 days ago
A Logic for Approximate First-Order Reasoning
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
Frédéric Koriche
CORR
2011
Springer
159views Education» more  CORR 2011»
13 years 2 months ago
Geodesics in CAT(0) Cubical Complexes
We describe an algorithm to compute the geodesics in an arbitrary CAT(0) cubical complex. A key tool is a correspondence between cubical complexes of global non-positive curvature ...
Federico Ardila, Megan Owen, Seth Sullivant
ICCSA
2007
Springer
14 years 1 months ago
Low-Complexity Unequal Packet Loss Protection for Real-Time Video over Ubiquitous Networks
Ubiquitous multimedia services are emerging to be available at anytime and anywhere using a variety of computing devices. In this paper, we propose a low-complexity unequal loss pr...
Hojin Ha, Changhoon Yim, Young Yong Kim