3513 search results - page 346 / 703 » Super Logic Programs |
152
Voted
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
114
Voted
ICS
2000
Tsinghua U.
15 years 7 months ago
2000
Tsinghua U.
One of the main concerns in today's processor design is the issue logic. Instruction-level parallelism is usually favored by an out-of-order issue mechanism where instruction...
175
Voted
DAGSTUHL
2003
15 years 5 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
136
Voted
WCE
2007
15 years 4 months ago
2007
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...
148
Voted
ENTCS
2007
15 years 3 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...