2296 search results - page 306 / 460 » The Expressive Power of Synchronizations |
175
click to vote
IJCAI
1989
15 years 7 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
130
click to vote
IJCAI
1989
15 years 7 months ago
1989
We are interested here in the design of a very efficient Time-Map Manager, able to deal with a large knowledge-base of several thou sand time-tokens in demanding applications su...
146
click to vote
COLING
1992
15 years 7 months ago
1992
Abstract -- In this paper, we present a new mathematical framework in which disjunctive feature structures are defined as directed acyclic hypergraphs. Disjunction is defined in th...
146
click to vote
USENIX
1990
15 years 7 months ago
1990
Tcl is an interpreter for a tool command language. It consists of a library package that is embedded in tools (such as editors, debuggers, etc.) as the basic command interpreter. ...
223
click to vote
ADHOCNOW
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a novel method for optimizing sliding window based continuous queries. We deal with two categories of aggregation operations: stepwise aggregation (e.g. COUNT) ...