2152 search results - page 65 / 431 » On Automating the Calculus of Relations |
CORR
2002
Springer
15 years 14 days ago
2002
Springer
The deterministic network calculus offers an elegant framework for determining delays and backlog in a network with deterministic service guarantees to individual traffic flows. T...
121
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
106
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
143
click to vote
WIA
2000
Springer
15 years 4 months ago
2000
Springer
This paper is a review of some of the major applications of finite-state transducers in Natural Language Processing ranging from morphological analysis to finite-state parsing. The...
RIAO
2000
15 years 2 months ago
2000
We present a framework to analyze color documents of complex layout. In addition, no assumption is made on the layout. Our framework combines in a content-driven bottom-up approac...