1205 search results - page 185 / 241 » Program Extraction from Large Proof Developments |
137
click to vote
ANOR
2011
14 years 8 months ago
2011
A vital task facing government agencies and commercial organizations that report data is to represent the data in a meaningful way and simultaneously to protect the confidentialit...
121
click to vote
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
We present a new approach to 3D scene modeling based on geometric constraints. Contrary to the existing methods, we can quickly obtain 3D scene models that respect the given const...
110
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
String comparison is a critical issue in many application domains, including speech recognition, contents search, and bioinformatics. The similarity between two strings of lengths...
114
click to vote
CF
2009
ACM
15 years 6 months ago
2009
ACM
Decision Support System (DSS) workloads are known to be one of the most time-consuming database workloads that processes large data sets. Traditionally, DSS queries have been acce...