Sciweavers

10048 search results - page 147 / 2010
» The Structure and Performance of Interpreters
Sort
View
GBRPR
2007
Springer
15 years 10 months ago
Local Reasoning in Fuzzy Attribute Graphs for Optimizing Sequential Segmentation
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics. Graphs are...
Geoffroy Fouquier, Jamal Atif, Isabelle Bloch
POPL
1999
ACM
15 years 8 months ago
Parametric Shape Analysis via 3-Valued Logic
hought of as abstract interpretation for the heap How we talk about the heap   Program var X points to U that has an N field pointing to V   We use first order predicate logic ¡...
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
145
Voted
AAAI
2007
15 years 6 months ago
A Mathematical Programming Formulation for Sparse Collaborative Computer Aided Diagnosis
A mathematical programming formulation is proposed to eliminate irrelevant and redundant features for collaborative computer aided diagnosis which requires to detect multiple clin...
Jinbo Bi, Tao Xiong
125
Voted
ESANN
2007
15 years 6 months ago
Visualisation of tree-structured data through generative probabilistic modelling
We present a generative probabilistic model for the topographic mapping of tree structured data. The model is formulated as constrained mixture of hidden Markov tree models. A nat...
Nikolaos Gianniotis, Peter Tino
NIPS
2008
15 years 6 months ago
The Mondrian Process
We describe a novel class of distributions, called Mondrian processes, which can be interpreted as probability distributions over kd-tree data structures. Mondrian processes are m...
Daniel M. Roy, Yee Whye Teh