3778 search results - page 533 / 756 » Representing Web Graphs |
138
click to vote
ICCD
2002
IEEE
16 years 1 months ago
2002
IEEE
Boolean functions are fundamental to synthesis and verification of digital logic, and compact representations of Boolean functions have great practical significance. Popular repre...
115
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The Problem Frames approach captures problems as seen by developers, but not by stakeholders. This paper presents a framework that extends the problem diagram of the Problem Frame...
143
click to vote
ICDM
2009
IEEE
15 years 11 months ago
2009
IEEE
A pervasive problem in large relational databases is identity uncertainty which occurs when multiple entries in a database refer to the same underlying entity in the world. Relati...
132
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
158
click to vote
DAGM
2009
Springer
15 years 11 months ago
2009
Springer
We describe a technique for estimating human pose from an image sequence captured by a time-of-flight camera. The pose estimation is derived from a simple model of the human body ...