7049 search results - page 386 / 1410 » Data Abstraction for CSP-OZ |
150
click to vote
ANTS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The conjectures of Deligne, Beilinson, and Bloch-Kato assert that there should be relations between the arithmetic of algebrogeometric objects and the special values of t...
162
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a loosely-supervised method for context-free identification of transliterated foreign names and borrowed words in Hebrew text. The method is purely statistical...
198
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before...
197
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Conflict-based diagnosis is a recently proposed probabilistic method for model-based diagnosis, inspired by consistencybased diagnosis, that uses a measure of data confli...
114
click to vote
APBC
2007
15 years 8 months ago
2007
real or abstract. It provides a widely applicable approach to the prediction of compensatory substitutions for CPDs, avoiding any reliance on rigid non-probabilistic criteria or st...