6431 search results - page 255 / 1287 » Model Building by Resolution |
152
click to vote
JAR
2007
15 years 6 months ago
2007
We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptat...
190
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Taking a sharp photo at several megapixel resolution traditionally relies on high grade lenses. In this paper, we present an approach to alleviate image degradations caused by impe...
168
click to vote
AIPS
2008
15 years 9 months ago
2008
This document formalizes and discusses the implementation of a new, more efficient probabilistic plan recognition algorithm called Yet Another Probabilistic Plan Recognizer, (Yapp...
158
click to vote
WG
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We model a problem proposed by Alcatel, a satellite building company, using improper colourings of graphs. The relation between improper colourings and maximum average de...
163
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
Metadata management is one of the key concepts of distributed interoperable systems. This paper compares two approaches to building a metadata repository for component-based distr...