Sciweavers

451 search results - page 25 / 91
» Identifying Facts for TCBR
Sort
View
ESOP
2004
Springer
15 years 1 months ago
ML-Like Inference for Classifiers
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
Cristiano Calcagno, Eugenio Moggi, Walid Taha
EUROMICRO
2004
IEEE
15 years 1 months ago
Investigations in Applying Metrics to Multi-View Architecture Models
The goal of our research is to develop industry-proof software architecture and design metrics. We identify a number of problems that arise in computing software architecture and ...
Johan Muskens, Michel R. V. Chaudron, Christian La...
94
Voted
BMVC
2002
15 years 2 days ago
Detecting Planes In An Uncalibrated Image Pair
Plane detection is a prerequisite to a wide variety of vision tasks. This paper proposes a novel method that exploits results from projective geometry to automatically detect plan...
Manolis I. A. Lourakis, Antonis A. Argyros, Stelio...
AAAI
2007
14 years 12 months ago
Complexity Boundaries for Horn Description Logics
Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i....
Markus Krötzsch, Sebastian Rudolph, Pascal Hi...
LREC
2008
124views Education» more  LREC 2008»
14 years 11 months ago
Improving NER in Arabic Using a Morphological Tagger
We discuss a named entity recognition system for Arabic, and show how we incorporated the information provided by MADA, a full morphological tagger which uses a morphological anal...
Benjamin Farber, Dayne Freitag, Nizar Habash, Owen...