7335 search results - page 1115 / 1467 » Scene Based Reasoning |
184
click to vote
ICLP
2005
Springer
16 years 6 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
194
click to vote
KIVS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Semantic Web services envision the automated discovery and selection of Web services. This can be realised by adding semantic information to advertised services and servi...
169
click to vote
LPAR
2005
Springer
16 years 5 days ago
2005
Springer
Local search algorithms are one of the effective methods for solving hard combinatorial problems. However, a serious problem of this approach is that the search often traps at loca...
182
click to vote
SAT
2005
Springer
16 years 5 days ago
2005
Springer
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
157
click to vote
SEMWEB
2005
Springer
16 years 5 days ago
2005
Springer
Ontologies are today a key part of every knowledge based system. They provide a source of shared and precisely defined terms, resulting in system interoperability by knowledge sha...