Sciweavers

3898 search results - page 280 / 780
» On the Bit Extraction Problem
Sort
View
126
Voted
FM
2008
Springer
93views Formal Methods» more  FM 2008»
15 years 5 months ago
Finding Minimal Unsatisfiable Cores of Declarative Specifications
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson
AAAI
2010
15 years 5 months ago
Toward an Architecture for Never-Ending Language Learning
We consider here the problem of building a never-ending language learner; that is, an intelligent computer agent that runs forever and that each day must (1) extract, or read, inf...
Andrew Carlson, Justin Betteridge, Bryan Kisiel, B...
105
Voted
ECIR
2008
Springer
15 years 5 months ago
Modeling Documents as Mixtures of Persons for Expert Finding
Abstract. In this paper we address the problem of searching for knowledgeable persons within the enterprise, known as the expert finding (or expert search) task. We present a proba...
Pavel Serdyukov, Djoerd Hiemstra
ACL
2006
15 years 5 months ago
Concept Unification of Terms in Different Languages for IR
Due to the historical and cultural reasons, English phases, especially the proper nouns and new words, frequently appear in Web pages written primarily in Asian languages such as ...
Qing Li, Sung-Hyon Myaeng, Yun Jin, Bo-Yeong Kang
134
Voted
CARS
2004
15 years 5 months ago
Hybrid method for both calibration and registration of an endoscope with an active optical tracker
In this paper, we present a hybrid method for calibration of an endoscope and its registration with an active optical tracker. Practically, both operations are done simultaneously...
Gaëtan Marti, Vincent Bettschart, Jean-S&eacu...