1191 search results - page 52 / 239 » Completeness and Performance Of The APO Algorithm |
AMAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
3DOR
2010
13 years 2 months ago
2010
The 3D Shape Retrieval Contest 2010 (SHREC'10) on range scan retrieval aims at comparing algorithms that match a range scan to complete 3D models in a target database. The qu...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper presents a novel study and analysis on two important problems in gait recognition: one is how to perform gait recognition with only segment of a complete gait cycle for...
CORR
2012
Springer
12 years 3 months ago
2012
Springer
The key limiting factor in graphical model inference and learning is the complexity of the partition function. We thus ask the question: what are the most general conditions under...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...