2623 search results - page 263 / 525 » tools 2010 |
181
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...
166
click to vote
BMVC
2010
15 years 3 months ago
2010
Automatic image annotation is an important tool for keyword-based image retrieval, providing a textual index for non-annotated images. Many image auto annotation methods are based...
163
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
175
click to vote
DAGM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
132
click to vote
DATESO
2010
15 years 3 months ago
2010
Abstract. Quasigroups are a well-known combinatorial design equivalent to more familiar Latin squares. Because all possible elements of a quasigroup occur with equal probability, i...