3690 search results - page 301 / 738 » Computation with classical sequents |
147
click to vote
EUROCAST
2003
Springer
15 years 10 months ago
2003
Springer
Computer vision tasks such as learning, recognition, classification or segmentation applied to spatial data often requires spatial normalization of repeated features and structure...
142
click to vote
PAAMS
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we introduce a new heuristic search algorithm based on mean values for anytime planning, called MHSP. It consists in associating the principles of UCT, a bandit-base...
122
click to vote
PAKDD
2010
ACM
15 years 10 months ago
2010
ACM
The skyline operator is a well established database primitive which is traditionally applied in a way that only a single skyline is computed. In this paper we use multiple skylines...
117
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: Detecting the current task of a user is essential for providing her with contextualized and personalized support, and using Contextual Attention Metadata (CAM) can help d...
142
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...