11151 search results - page 176 / 2231 » On the Complexity of Model Expansion |
184
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
A Direct Sum Theorem holds in a model of computation, when for every problem solving some k input instances together is k times as expensive as solving one. We show that Direct Su...
185
Voted
ICIP
2003
IEEE
16 years 8 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...
184
Voted
CADE
2008
Springer
16 years 7 months 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...
159
Voted
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract – We present a method for quickly determining the minimum distance between multiple known and multiple unkown objects within a camera image. Known objects are objects wi...
183
Voted
TRUSTBUS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A Virtual Organisation (VO) is a temporary alliance of autonomous, diverse, and geographically dispersed organisations, where the participants pool resources, information...