Sciweavers

365 search results - page 4 / 73
» Local Computation Schemes with Partially Ordered Preferences
Sort
View
ICDE
2009
IEEE
192views Database» more  ICDE 2009»
16 years 17 days ago
Topologically Sorted Skylines for Partially Ordered Domains
The vast majority of work on skyline queries considers totally ordered domains, whereas in many applications some attributes are partially ordered, as for instance, domains of set ...
Dimitris Sacharidis, Stavros Papadopoulos, Dimitri...
MIS
2004
Springer
162views Multimedia» more  MIS 2004»
15 years 4 months ago
Integrating the Results of Multimedia Sub-Queries Using Qualitative Preferences
When similarity queries over multimedia databases are processed by splitting the overall query condition into a set of sub-queries, the problem of how to efficiently and effectiv...
Ilaria Bartolini, Paolo Ciaccia, Vincent Oria, M. ...
89
Voted
CONCUR
2009
Springer
15 years 5 months ago
Model-Checking Games for Fixpoint Logics with Partial Order Models
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
Julian Gutierrez, Julian C. Bradfield
SPIN
2005
Springer
15 years 4 months ago
Improving Spin's Partial-Order Reduction for Breadth-First Search
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
Dragan Bosnacki, Gerard J. Holzmann
AGI
2011
14 years 2 months ago
Structural Emergence in Partially Ordered Sets Is the Key to Intelligence
Extraordinary structural organization known as emergence is observed in partially ordered sets when a recently discovered functional is minimized. Emergence creates the first stru...
Sergio Pissanetzky