1507 search results - page 163 / 302 » Separating Complexity Classes Using Structural Properties |
125
click to vote
CSL
2000
Springer
15 years 6 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
114
Voted
JETAI
1998
15 years 1 months ago
1998
Graphical structures such as Bayesian networks or Markov networks are very useful tools for representing irrelevance or independency relationships, and they may be used to e cientl...
144
click to vote
MICCAI
2004
Springer
16 years 3 months ago
2004
Springer
Extraction of structures of interest in medical images is often an arduous task because of noisy or incomplete data. However, handsegmented data are often available and most of the...
109
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—In many networking applications such as file sharing, structured peer-to-peer networks are increasingly used in dynamic situations with fluctuating load, which require...
127
Voted
APVIS
2010
15 years 3 months ago
2010
We present a novel classification technique for volume visualization that takes the shape of volumetric features into account. The presented technique enables the user to distingu...