971 search results - page 123 / 195 » Approximate Satisfiability and Equivalence |
115
Voted
JFP
2000
15 years 18 days ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
94
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
Matching local features across images is often useful when comparing or recognizing objects or scenes, and efficient techniques for obtaining image-to-image correspondences have b...
197
click to vote
ICDE
2004
IEEE
16 years 2 months ago
2004
IEEE
Terrain can be approximated by a triangular mesh consisting millions of 3D points. Multiresolution triangular mesh (MTM) structures are designed to support applications that use t...
104
Voted
MOBIHOC
2002
ACM
16 years 12 days ago
2002
ACM
Topology control problems are concerned with the assignment of power values to the nodes of an ad hoc network so that the power assignment leads to a graph topology satisfying som...
120
Voted
SDM
2009
SIAM
15 years 10 months ago
2009
SIAM
Data stream analysis frequently relies on identifying correlations and posing conditional queries on the data after it has been seen. Correlated aggregates form an important examp...