2308 search results - page 315 / 462 » Representing Symbolic Reasoning |
222
click to vote
CC
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
169
click to vote
CLIMA
2011
14 years 6 months ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
210
click to vote
DATESO
2009
15 years 4 months ago
2009
The Business Process Model represented as a diagram in Business Process Modeling Notation (BPMN) is a commonly used way how to describe business processes of an organization. Probl...
169
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper we propose a general framework to solve the articulated shape matching problem, formulated as finding point-to-point correspondences between two shapes represented b...
150
click to vote
ICCV
1999
IEEE
16 years 8 months ago
1999
IEEE
We show how to use a sampling method to find sparsely clad people in static images. People are modeled as an assembly of nine cylindrical segments. Segments are found using an EM ...