16257 search results - page 3175 / 3252 » D-finiteness: algorithms and applications |
ASSETS
2005
ACM
14 years 20 hour ago
2005
ACM
The possibility of pre-compensating images in a computer display according to the visual aberrations previously assessed in an optical system (e.g., the computer user’s eye) has...
CANDC
2005
ACM
14 years 17 hour ago
2005
ACM
A prototype system for the automatic evolution of biomimetic structures using structural automata is described and its utility for generating digital sculpture is demonstrated. Sc...
CASES
2005
ACM
14 years 17 hour ago
2005
ACM
Code compression is a field where compression ratios between compiler-generated code and subsequent compressed code are highly dependent on decisions made at compile time. Most op...
CF
2005
ACM
14 years 15 hour ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
CCS
2006
ACM
14 years 15 hour ago
2006
ACM
Packet filtering plays a critical role in many of the current high speed network technologies such as firewalls and IPSec devices. The optimization of firewall policies is critica...