1573 search results - page 273 / 315 » Picture Programming Project |
120
click to vote
JAPLL
2006
15 years 2 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
148
click to vote
JGTOOLS
2006
15 years 2 months ago
2006
We present a graphics hardware implementation of the tangent-plane algorithm for computing the kth-order Voronoi diagram of a set of point sites in image space. Correct and effici...
JOT
2006
15 years 2 months ago
2006
We describe how to create a Java-based screensaver for a Macintosh. A screensaver is a program that automatically runs when the computer enters a quiescent state. Screensaver fram...
107
click to vote
ENTCS
2007
15 years 2 months ago
2007
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
177
click to vote
ENTCS
2007
15 years 2 months ago
2007
Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...