647 search results - page 80 / 130 » Generic Trace Logics |
164
click to vote
GRID
2007
Springer
15 years 4 months ago
2007
Springer
In e-Science experiments, it is vital to record the experimental process for later use such as in interpreting results, verifying that the correct process took place or tracing whe...
138
click to vote
PAA
2006
15 years 4 months ago
2006
Recognition of old Greek manuscripts is essential for quick and efficient content exploitation of the valuable old Greek historical collections. In this paper, we focus on the prob...
202
click to vote
SOFSEM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
128
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
XPORT (eXtensible Profile-driven Overlay Routing Trees) is a generic data dissemination system that supports an extensible set of data types and profiles, and an optimization fr...
120
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
The design of new diagram recognition systems remains a challenging problem. Ideally, recognition systems should accept real-world input, perform robustly, fail gracefully, and be...