2049 search results - page 179 / 410 » Normalization and Partial Evaluation |
IJCAI
1989
13 years 11 months ago
1989
based on an abstract concept of quiescence. In the following we sketch this and a related model, describe the design of our experiments, and present the results of our simulation s...
TLCA
2009
Springer
14 years 4 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
CVPR
2008
IEEE
15 years 6 days ago
2008
IEEE
We propose a novel step toward the unsupervised segmentation of whole objects by combining "hints" of partial scene segmentation offered by multiple soft, binary mattes....
ICDE
2009
IEEE
14 years 12 months ago
2009
IEEE
A previously proposed Keyword Search paradigm produces, as a query result, a ranked list of Object Summaries (OSs); each OS summarizes all data held in a relational database about ...
EDBT
2002
ACM
14 years 10 months ago
2002
ACM
Managing multiple versions of XML documents represents a critical requirement for many applications. Also, there has been much recent interest in supporting complex queries on XML ...