2343 search results - page 137 / 469 » Structure and Interpretation of Computer Programs |
133
click to vote
COMGEO
2007
ACM
15 years 4 months ago
2007
ACM
Arrangements of planar curves are fundamental structures in computational geometry. Recently, the arrangement package of Cgal, the Computational Geometry Algorithms Library, has b...
138
click to vote
MKM
2007
Springer
15 years 11 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
148
click to vote
CBMS
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a system capable of interpreting speech commands given by a radiologist in order to accurately diagnose a set of findings and impressions for medical images, such as M...
113
click to vote
COLING
1996
15 years 6 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
172
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...