601 search results - page 28 / 121 » Writing for the Year 2000 |
NPAR
2000
ACM
15 years 4 months ago
2000
ACM
In previous work [6], we presented an algorithm for rendering virtual scenes using art-based styles. We demonstrated the ability to render fur, grass, and trees in a stylized mann...
123
click to vote
PODC
2000
ACM
15 years 4 months ago
2000
ACM
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...
112
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
HUC
2000
Springer
15 years 3 months ago
2000
Springer
The Notable annotation system enables users to annotate paper documents using handheld devices in a mobile environment. This paper describes the design issues and solutions that a...
AAAI
2000
15 years 1 months ago
2000
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...