3820 search results - page 575 / 764 » Bounded Model Debugging |
131
Voted
AAAI
2010
15 years 4 months ago
2010
Many problems require repeated inference on probabilistic graphical models, with different values for evidence variables or other changes. Examples of such problems include utilit...
123
Voted
CCCG
2008
15 years 4 months ago
2008
Local route discovery in geometric, strongly connected, undirected plane graphs is guaranteed by the Face Routing algorithm. The algorithm is local and geometric in the sense that...
107
Voted
GRAPHICSINTERFACE
2007
15 years 4 months ago
2007
We present an interactive algorithm to compute surface distance maps for triangulated models. The distance map represents the distance-to-closest-primitive mapping at each point o...
140
Voted
ICVGIP
2008
15 years 4 months ago
2008
In this work, we propose a simple yet highly effective algorithm for tracking a target through significant scale and orientation change. We divide the target into a number of frag...
104
Voted
SIROCCO
2008
15 years 4 months ago
2008
We study communication in known topology radio networks with the presence of interference constraints. We consider a real-world situation, when a transmission of a node produces an...