Sciweavers

9425 search results - page 293 / 1885
» Some Notes on Models and Modelling
Sort
View
ECAI
2008
Springer
15 years 6 months ago
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
Matthias Knorr, José Júlio Alferes, ...
132
Voted
AAAI
2010
15 years 5 months ago
Dominance Testing via Model Checking
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
BILDMED
2007
135views Algorithms» more  BILDMED 2007»
15 years 5 months ago
A New Class of Distance Measures for Registration of Tubular Models to Image Data
In some registration applications additional user knowledge is available, which can improve and accelerate the registration process, especially for non-rigid registration. This is ...
Thomas Lange, Hans Lamecker, Michael Hünerbei...
EMNLP
2007
15 years 5 months ago
Probabilistic Models of Nonprojective Dependency Trees
A notable gap in research on statistical dependency parsing is a proper conditional probability distribution over nonprojective dependency trees for a given sentence. We exploit t...
David A. Smith, Noah A. Smith
135
Voted
SPLC
2008
15 years 5 months ago
Functional Testing of Feature Model Analysis Tools. A First Step
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
Sergio Segura, David Benavides, Antonio Ruiz Cort&...