3705 search results - page 601 / 741 » Building Documentation Generators |
117
click to vote
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
104
click to vote
SIBGRAPI
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper introduces a methodology for adding color to grayscale images in a way that is completely automatic. Towards this goal, we build on a technique that was recently develo...
139
click to vote
VISUALIZATION
2003
IEEE
15 years 6 months ago
2003
IEEE
We propose Unsteady Flow Advection–Convolution (UFAC) as a novel visualization approach for unsteady flows. It performs time evolution governed by pathlines, but builds spatial...
117
Voted
CASES
2003
ACM
15 years 6 months ago
2003
ACM
Code size has always been an important issue for all embedded applications as well as larger systems. Code compression techniques have been devised as a way of battling bloated co...
153
click to vote
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...