7971 search results - page 1247 / 1595 » On unbounded operators and applications |
165
click to vote
TARK
2005
Springer
16 years 8 days ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
201
click to vote
VLDB
2005
ACM
16 years 8 days ago
2005
ACM
Nested iteration is an important technique for query evaluation. It is the default way of executing nested subqueries in SQL. Although decorrelation often results in cheaper non-n...
172
click to vote
VLDB
2005
ACM
16 years 8 days ago
2005
ACM
The skyline operator is important for multicriteria decision making applications. Although many recent studies developed efficient methods to compute skyline objects in a specifi...
159
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
174
click to vote
WAIM
2005
Springer
16 years 8 days ago
2005
Springer
System behaviors specify the major functions of domain specific Web Information Systems (WIS). Traditional techniques can not satisfy various requirements or manage innumerous data...