1644 search results - page 236 / 329 » Finding Dominators in Practice |
PLDI
2000
ACM
14 years 25 days ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
CVPR
1997
IEEE
14 years 25 days ago
1997
IEEE
A recent trend in motion-based segmentation has been to rely on statistical procedures derived from ExpectationMaximization (EM) principles. EM-based approaches have various attra...
AAAI
2008
13 years 11 months ago
2008
Most manifold learning methods consider only one similarity matrix to induce a low-dimensional manifold embedded in data space. In practice, however, we often use multiple sensors...
ACSC
2008
IEEE
13 years 11 months ago
2008
IEEE
A number of organizations publish microdata for purposes such as public health and demographic research. Although attributes of microdata that clearly identify individuals, such a...
ATVA
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...