424 search results - page 17 / 85 » Productivity of Stream Definitions |
MST
2007
14 years 9 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
SPLC
2004
14 years 11 months ago
2004
This paper elaborates on the coordination and management of evolving software product-lines, where development teams work around a shared and reusable domain infrastructure. The tr...
ICDM
2005
IEEE
15 years 3 months ago
2005
IEEE
The problem of record linkage focuses on determining whether two object descriptions refer to the same underlying entity. Addressing this problem effectively has many practical ap...
117
click to vote
TKDE
2010
14 years 4 months ago
2010
The idea of allowing query users to relax their correctness requirements in order to improve performance of a data stream management system (e.g., location-based services and senso...
FOIKS
2008
Springer
14 years 11 months ago
2008
Springer
Visibly Pushdown Languages (VPLs), recognized by Visibly Pushdown Automata (VPAs), are a nicely behaved family of contextfree languages. It has been shown that VPAs are equivalent ...