4617 search results - page 629 / 924 » Automation of Diagrammatic Reasoning |
206
Voted
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
204
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
192
click to vote
DLOG
2009
15 years 5 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
238
click to vote
DLOG
2009
15 years 5 months ago
2009
Ontology matching is one of the key research topics in the field of the Semantic Web. There are many matching systems that generate mappings between different ontologies either aut...
227
click to vote
ESSLLI
2009
Springer
15 years 5 months ago
2009
Springer
We present an implemented model for speech recognition in natural environments which relies on contextual information about salient entities to prime utterance recognition. The hyp...