2036 search results - page 394 / 408 » A generic type-and-effect system |
105
click to vote
PODS
2010
ACM
15 years 5 months ago
2010
ACM
The notion of certain answers arises when one queries incompletely specified databases, e.g., in data integration and exchange scenarios, or databases with missing information. W...
120
Voted
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Matrices are essential in many fields of computer science, especially when large amounts of data must be handled efficiently. Despite this demand for matrix software, we were una...
108
click to vote
GPCE
2009
Springer
15 years 5 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
120
Voted
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
132
click to vote
ICVS
2001
Springer
15 years 4 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...