9110 search results - page 438 / 1822 » Formally-Based Design Evaluation |
168
click to vote
ECCV
2004
Springer
16 years 5 days ago
2004
Springer
Computer vision methods can be applied to a variety of medical and surgical applications, and many techniques and algorithms are available that can be used to recover 3D shapes and...
168
click to vote
PRICAI
2004
Springer
16 years 4 days ago
2004
Springer
We propose a methodology for representing artificial creatures like 3D flowers. Directed graph and Lindenmayer system (L-system) are commonly involved in AI-based creativity resear...
182
click to vote
MICRO
2003
IEEE
16 years 1 days ago
2003
IEEE
As demand for bandwidth increases in systems-on-a-chip and chip multiprocessors, networks are fast replacing buses and dedicated wires as the pervasive interconnect fabric for on-...
158
click to vote
SBACPAD
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper, we reevaluate the use of adaptive compressed caching to improve system performance through the reduction of accesses to the backing stores. We propose a new adaptab...
185
click to vote
SCAM
2003
IEEE
16 years 1 days ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...