6357 search results - page 1149 / 1272 » An Interactive Interface for Lighting-by-Example |
TACAS
1998
Springer
14 years 1 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
SCCC
1997
IEEE
14 years 1 months ago
1997
IEEE
A cooperative database allows the user to specify approximate or vague query conditions. A vague query requires the database system to rank the retrieved answers according to thei...
VRML
1997
ACM
14 years 1 months ago
1997
ACM
Collision detection is essential for many applications involving simulation, behavior and animation. However, it has been regarded as a computationallydemanding task and is often ...
AADEBUG
1997
Springer
14 years 1 months ago
1997
Springer
Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...
HICSS
1996
IEEE
14 years 1 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...