634 search results - page 65 / 127 » Completion Procedures as Semidecision Procedures |
ICIAP
2005
ACM
15 years 10 months ago
2005
ACM
Solids of revolution (vases, bottles, bells, . . .), shortly SORs, are very common objects in man-made environments. We present a complete framework for 3D database population from...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
This paper presents an approach for improving final software system usability by designing for usability, in particular by addressing usability issues in the software architecture...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
ISPW
2009
IEEE
15 years 4 months ago
2009
IEEE
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
EMO
2009
Springer
15 years 4 months ago
2009
Springer
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...