1687 search results - page 35 / 338 » Which pointer analysis should I use |
119
Voted
IJCAI
1989
15 years 3 months ago
1989
This paper considers the Valiant framework as it is applied to the task of learning logical concepts from random examples. It is argued that the current interpretation of this Val...
138
Voted
SGP
2004
15 years 5 months ago
2004
We propose a method for segmentation of 3D scanned shapes into simple geometric parts. Given an input point cloud, our method computes a set of components which possess one or mor...
122
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
122
click to vote
SIGIR
1996
ACM
15 years 6 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
125
Voted
CNIS
2006
15 years 4 months ago
2006
A variety of network security services, such as access control in firewalls and protocol analysis in intrusion detection systems, require the discrimination of packets based on th...