63 search results - page 10 / 13 » The Expressive Power of the English Temporal Preposition Sys... |
124
Voted
REX
1991
15 years 4 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
ACL
2008
15 years 1 months ago
2008
This paper presents a translation model that is based on tree sequence alignment, where a tree sequence refers to a single sequence of subtrees that covers a phrase. The model lev...
102
click to vote
NSDI
2007
15 years 2 months ago
2007
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
92
Voted
JANCL
2002
15 years 3 days ago
2002
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-str...
105
Voted
EDBT
2008
ACM
16 years 17 days ago
2008
ACM
Abstract. Monitoring aggregates on IP traffic data streams is a compelling application for data stream management systems. Often, such streaming aggregation queries involve joining...