Sciweavers

4926 search results - page 533 / 986
» Two Graph Algorithms On an Associative Computing Model
Sort
View
136
Voted
CORR
2006
Springer
104views Education» more  CORR 2006»
15 years 3 months ago
Loop corrections for approximate inference
We propose a method to improve approximate inference methods by correcting for the influence of loops in the graphical model. The method is a generalization and alternative implem...
Joris M. Mooij, Bert Kappen
115
Voted
ICIP
2006
IEEE
16 years 5 months ago
Max-Min Central Vein Detection in Retinal Fundus Images
This paper describes a new framework for the automated tracking of the central retinal vein in retinal images. The procedure first computes a binary image of the retinal vasculatur...
Hind Azegrouz, Emanuele Trucco
132
Voted
GECCO
2007
Springer
162views Optimization» more  GECCO 2007»
15 years 9 months ago
Some novel locality results for the blob code spanning tree representation
The Blob Code is a bijective tree code that represents each tree on n labelled vertices as a string of n − 2 vertex labels. In recent years, several researchers have deployed th...
Tim Paulden, David K. Smith
112
Voted
VSTTE
2005
Springer
15 years 9 months ago
Model Checking: Back and Forth between Hardware and Software
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, He...
115
Voted
ATAL
2009
Springer
15 years 10 months ago
Of robot ants and elephants
Investigations of multi-robot systems often make implicit assumptions concerning the computational capabilities of the robots. Despite the lack of explicit attention to the comput...
Asaf Shiloni, Noa Agmon, Gal A. Kaminka