868 search results - page 94 / 174 » Debugging for Model Expansion |
108
Voted
SIGIR
2006
ACM
15 years 6 months ago
2006
ACM
A common limitation of many retrieval models, including the recently proposed axiomatic approaches, is that retrieval scores are solely based on exact (i.e., syntactic) matching o...
123
Voted
WSC
1998
15 years 2 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
104
click to vote
DAC
2005
ACM
16 years 1 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
96
Voted
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
We propose a method for brain atlas deformation in presence of large space-occupying tumors, based on an a priori model of lesion growth that assumes radial expansion of the lesio...
102
Voted
CADE
2008
Springer
16 years 29 days ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...