6142 search results - page 768 / 1229 » The Complexity of Partition Functions |
198
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
156
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
362
click to vote
DIMACS
1996
15 years 8 months ago
1996
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...
214
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
We propose a scheme for indoor place identi cation based on the recognition of global scene
views. Scene views are encoded using a holistic representation that provides low-resolu...
235
click to vote
GRAPP
2009
16 years 10 months ago
2009
Skeleton-based skinning is widely used for realistic animation of complex characters defining mesh movement as a function of the underlying skeleton. In this paper, we propose a ne...