2106 search results - page 259 / 422 » Operational Semantics for DyLPs |
177
click to vote
VEE
2006
ACM
16 years 12 days ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
192
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
— A paramount challenge in probabilistic databases is the scalable computation of confidences of tuples in query results. This paper introduces an efficient secondary-storage o...
184
click to vote
HASKELL
2006
ACM
16 years 12 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
154
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
Colonoscopy is an important screening tool for colorectal cancer. During a colonoscopic procedure, a tiny video camera at the tip of the endoscope generates a video signal of the ...
162
click to vote
DEXAW
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper presents a model of a nomadic middleware system with support for temporal consistency of structures semantically associated to XML-documents. Specially defined high-lev...