1548 search results - page 70 / 310 » Computational Approaches to Sentence Completion |
160
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
We consider the problem of computing the root-mean-square (RMS) gain of switched linear systems. We develop a new approach which is based on an attempt to characterize the "w...
150
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Modern morphometric studies use non-linear image registration to compare anatomies and perform group analysis. Recently, logEuclidean approaches have contributed to promo...
172
click to vote
DIS
2007
Springer
16 years 10 days ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
172
Voted
ICDCS
1995
IEEE
15 years 9 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
156
click to vote
DLOG
2004
15 years 7 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...