4581 search results - page 725 / 917 » Computing Transformation Semigroups |
172
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
207
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
The ability to retrieve molecules based on structural similarity has use in many applications, from disease diagnosis and treatment to drug discovery and design. In this paper, we...
161
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Classification of 3D objects remains an important task in many areas of data management such as engineering, medicine or biology. As a common preprocessing step in current approac...
168
click to vote
DAS
2010
Springer
15 years 10 months ago
2010
Springer
A novel text extraction method from graphical document images is presented in this paper. Graphical document images containing text and graphics components are considered as two-d...
182
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
is at least ae powerful as SQL. Two well known relational query languages that have a sound theoretical foundation are relational algebra and relational calculus. As SQL is more cl...