2646 search results - page 110 / 530 » Local Type Inference |
106
Voted
IJAR
2007
15 years 2 months ago
2007
Possibilistic networks are important tools for dealing with uncertain pieces of information. For multiplyconnected networks, it is well known that the inference process is a hard ...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
108
Voted
DIAGRAMS
2006
Springer
15 years 6 months ago
2006
Springer
This paper discusses the types of communicative signals that frequently appear in simple bar charts and how we exploit them as evidence in our system for inferring the intended mes...
140
Voted
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
This article proposes a method for learning object templates
composed of local sketches and local textures, and
investigates the relative importance of the sketches and textures
...
135
Voted
SAS
2005
Springer
15 years 8 months ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...