4814 search results - page 148 / 963 » Combining abstract interpreters |
182
click to vote
CG
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Over the years, various research projects have attempted to develop a chess program that learns to play well given little prior knowledge beyond the rules of the game. Ea...
185
click to vote
TREC
2007
15 years 7 months ago
2007
One of the NLM experimental approaches to the 2007 Genomics track question answering task followed the track evaluation design: we attempted identifying exact answers in the form ...
202
click to vote
SIAMCOMP
2008
15 years 4 months ago
2008
Abstract. To cope with the impossibility of solving agreement problems in asynchronous systems made up of n processes and prone to t process crashes, system designers tailor their ...
176
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Deformable image registration in the presence of considerable contrast differences and large-scale size and shape changes represents a significant challenge for image r...
187
click to vote
DAGM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Guided Kanade-Lucas-Tomasi (GKLT) tracking is a suitable way to incorporate knowledge about camera parameters into the standard KLT tracking approach for feature tracking...