Sciweavers

1916 search results - page 140 / 384
» Reasoning with class algebra
Sort
View
113
Voted
ECSQARU
2009
Springer
14 years 10 months ago
Soft Constraints Processing over Divisible Residuated Lattices
We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semanti...
Simone Bova
156
Voted
SEMWEB
2010
Springer
14 years 7 months ago
The Semantic Web needs more cognition
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
Martin Raubal, Benjamin Adams
93
Voted
STOC
2010
ACM
199views Algorithms» more  STOC 2010»
15 years 5 months ago
Zero-One Frequency Laws
Data streams emerged as a critical model for multiple applications that handle vast amounts of data. One of the most influential and celebrated papers in streaming is the “AMS...
Vladimir Braverman and Rafail Ostrovsky
110
Voted
FROCOS
2007
Springer
15 years 7 months ago
Noetherianity and Combination Problems
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
VLDB
2004
ACM
113views Database» more  VLDB 2004»
15 years 6 months ago
Resource Sharing in Continuous Sliding-Window Aggregates
We consider the problem of resource sharing when processing large numbers of continuous queries. We specifically address sliding-window aggregates over data streams, an important...
Arvind Arasu, Jennifer Widom