271 search results - page 33 / 55 » Observational Completeness on Abstract Interpretation |
SMA
2010
ACM
13 years 2 months ago
2010
ACM
Abstract The aim of the paper is to give a coherent account of the robustness approach based on shrinking neighborhoods in the case of i.i.d. observations, and add some theoretical...
CP
2005
Springer
14 years 28 days ago
2005
Springer
Abstract Competition and cooperation can boost the performance of a combinatorial search process. Both can be implemented with a portfolio of algorithms which run in parallel, give...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. We present a General Linear Camera (GLC) model that unifies many previous camera models into a single representation. The GLC model is capable of describing all perspecti...
SIGIR
2010
ACM
13 years 11 months ago
2010
ACM
This paper presents a novel prototype hierarchy based clustering (PHC) framework for the organization of web collections. It solves simultaneously the problem of categorizing web ...
NLDB
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. This paper proposes an approach which utilizes natural language processing (NLP) and ontology knowledge to automatically denote the implicit semantics of textual requirem...