3954 search results - page 64 / 791 » Image-based Model Completion |
132
click to vote
SIGIR
2003
ACM
15 years 7 months ago
2003
ACM
Libraries have traditionally used manual image annotation for indexing and then later retrieving their image collections. However, manual image annotation is an expensive and labo...
117
click to vote
IGPL
2008
15 years 2 months ago
2008
This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later res...
JAR
2007
15 years 1 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...
101
click to vote
EOR
2006
15 years 2 months ago
2006
We develop a multi-objective model for resource allocation problem in PERT networks with exponentially or Erlang distributed activity durations, where the mean duration of each ac...
142
click to vote
DLOG
2009
14 years 11 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...