Sciweavers

966 search results - page 96 / 194
» Evaluation of Linguistics-Based Translation
Sort
View
SEMCO
2007
IEEE
16 years 19 days ago
Corpus-based Pattern Induction for a Knowledge-based Question Answering Approach
In this paper, we present an approach which, given a knowledge base and an appropriate text corpus, automatically induces patterns which can be used to query the knowledge base. W...
Philipp Cimiano, Michael Erdmann, Günter Ladw...
MONTEREY
2007
Springer
16 years 15 days ago
Logic-Based Regulatory Conformance Checking
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...
PPDP
2004
Springer
15 years 11 months ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
SIGIR
2010
ACM
15 years 10 months ago
Query recovery of short user queries: on query expansion with stopwords
User queries to search engines are observed to predominantly contain inflected content words but lack stopwords and capitalization. Thus, they often resemble natural language que...
Johannes Leveling, Gareth J. F. Jones
CP
2008
Springer
15 years 8 months ago
Universal Booleanization of Constraint Models
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
Jinbo Huang