1638 search results - page 151 / 328 » Properties of input-consuming derivations |
152
click to vote
SNPD
2003
15 years 7 months ago
2003
From the early design phase through the implementation performance assessment of software has been subject to a great variety of approaches in the past. Performance modeling artif...
200
click to vote
WSCG
2003
15 years 7 months ago
2003
In this paper, we propose an algorithm for enhancing edges of real-time non-photorealistic renderings. It is based on the edge map, a 2D texture that encodes visually important ed...
178
click to vote
AAAI
1994
15 years 7 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
196
click to vote
IMAMS
1994
15 years 7 months ago
1994
We develop a dynamic, free-form surface model which is useful for representing a broad class of objects with symmetries and topological variability. The new model is based upon sw...
171
click to vote
SLP
1994
15 years 7 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...