Sciweavers

156 search results - page 2 / 32
» Inferring Position Knowledge from Location Predicates
Sort
View
MUM
2005
ACM
88views Multimedia» more  MUM 2005»
13 years 11 months ago
SIMPLE: developing a LBS positioning solution
Location information is becoming increasingly important in many pervasive computing applications. Reliance on accurate local knowledge of location is often critical to providing e...
Jonathan Wierenga, Peter Komisarczuk
NAACL
2004
13 years 6 months ago
The (Non)Utility of Predicate-Argument Frequencies for Pronoun Interpretation
State-of-the-art pronoun interpretation systems rely predominantly on morphosyntactic contextual features. While the use of deep knowledge and inference to improve these models wo...
Andrew Kehler, Douglas E. Appelt, Lara Taylor, Ale...
ICSE
2004
IEEE-ACM
14 years 5 months ago
Generating Tests from Counterexamples
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger,...
KI
2008
Springer
13 years 5 months ago
Towards a Mapping from ERDF(S) to Take Vocabulary
This paper presents a mapping solution from ERDF(S) to Take vocabulary. The work is related to an investigation of integrating ERDF Derivation Rules into Take inference engine. Som...
Ion-Mircea Diaconescu, Adrian Giurca, Gerd Wagner,...
ECSQARU
2009
Springer
13 years 12 months ago
Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases
Partially preordered belief bases are very convenient for an efficient representation of incomplete knowledge. They offer flexibility and avoid to compare unrelated pieces of inf...
Salem Benferhat, Safa Yahi