Sciweavers

3825 search results - page 437 / 765
» The Language of Time: A Reader
Sort
View
295
Voted
ICTL
1994
15 years 11 months ago
Abduction in Temporal Reasoning
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
Cristina Ribeiro, António Porto
LOPSTR
1992
Springer
15 years 11 months ago
Logimix: A Self-Applicable Partial Evaluator for Prolog
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
Torben Æ. Mogensen, Anders Bondorf
APPROX
2007
Springer
86views Algorithms» more  APPROX 2007»
15 years 11 months ago
Lower Bounds for Swapping Arthur and Merlin
We prove a lower bound for swapping the order of Arthur and Merlin in two-round MerlinArthur games using black-box techniques. Namely, we show that any AM-game requires time (t2 )...
Scott Diehl
ADBIS
2004
Springer
94views Database» more  ADBIS 2004»
15 years 10 months ago
Formalization and Detection of Events over a Sliding Window in Active Databases Using Interval-Based Semantics
Trend analysis and forecasting applications (e.g., securities trading, stock market, and after-the-fact diagnosis) need event detection along a moving time window. Event-driven app...
Raman Adaikkalavan, Sharma Chakravarthy
173
Voted
LREC
2010
148views Education» more  LREC 2010»
15 years 8 months ago
Tag Dictionaries Accelerate Manual Annotation
Expert human input can contribute in various ways to facilitate automatic annotation of natural language text. For example, a part-of-speech tagger can be trained on labeled input...
Marc Carmen, Paul Felt, Robbie Haertel, Deryle Lon...