1547 search results - page 124 / 310 » The Isabelle Collections Framework |
124
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
Judgment aggregation studies how agent opinions on logically interconnected propositions can be mapped into a collective judgment on the same propositions, and is plagued by impos...
122
click to vote
GEOINFO
2007
15 years 5 months ago
2007
To carry ecologically-relevant biodiversity research, one must collect chunks of information on species and their habitats from a large number of institutions and correlate them us...
144
click to vote
LREC
2008
15 years 5 months ago
2008
We present an approach for querying collections of heterogeneous linguistic corpora that are annotated on multiple layers using arbitrary XML-based markup languages. An OWL ontolo...
133
click to vote
NAACL
2007
15 years 5 months ago
2007
We propose a novel HMM-based framework to accurately transliterate unseen named entities. The framework leverages features in letteralignment and letter n-gram pairs learned from ...
137
click to vote
DLOG
2004
15 years 5 months ago
2004
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...