5326 search results - page 893 / 1066 » On what we can ensure |
242
click to vote
AAMAS
2011
Springer
15 years 29 days ago
2011
Springer
We study the case where agents have preferences over ranges (intervals) of values, and we wish to elicit and aggregate these preferences. For example, consider a set of climatologi...
302
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Abstract-- We investigate techniques to automatically decompose any XQuery query into subqueries, that can be executed near their data sources; i.e., function-shipping. In this sce...
271
click to vote
ICDE
2003
IEEE
16 years 7 months ago
2003
IEEE
We present a query architecture in which join operators are decomposed into their constituent data structures (State Modules, or SteMs), and dataflow among these SteMs is managed ...
186
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
We present a novel method for the automatic detection and segmentation of (sub-)cortical gray matter structures in 3-D magnetic resonance images of the human brain. Essentially, th...
298
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...