316 search results - page 52 / 64 » Expressiveness of graph conditions with variables |
102
click to vote
CORR
2012
Springer
13 years 5 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...
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...
115
click to vote
MCMASTER
1993
15 years 1 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
196
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
73
Voted
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
Face recognition using 3D information has been intensively investigated in recent years. The features selected from 3D facial surfaces are invariant to pose and lighting condition...