1547 search results - page 43 / 310 » The Isabelle Collections Framework |
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
Developments in semantic search technology have motivated the need for efficient and scalable entity annotation techniques. We demonstrate RAD: a tool for Rapid Annotator Developme...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decisionmaking: the framework of preference aggregation, developed from t...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
We present a declarative framework for collective deduplication of entity references in the presence of constraints. Constraints occur naturally in many data cleaning domains and c...
ICMCS
2009
IEEE
13 years 5 months ago
2009
IEEE
As digital cameras and online photo sharing services become more popular, digital images are growing exponentially on the Internet. Thus supporting more effective retrieval from l...