17 search results - page 4 / 4 » A graph grammar based approach to automated multi-objective ... |
DAC
2001
ACM
14 years 5 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
VRML
2003
ACM
13 years 10 months ago
2003
ACM
Success of 3D applications on the Web inherently depends on object behavior and interaction. Current Web3D formats often fall short in supporting behavior modeling. This paper int...