5232 search results - page 882 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
EPIA
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
ASPDAC
2006
ACM
14 years 4 months ago
2006
ACM
Extensive research has proposed the use of multiple on-die power supplies (VDD) for reducing power consumption in CMOS circuits. We present a detailed study and design techniques ...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— A planning method for knotting/unknotting and tightening manipulation of deformable linear objects is proposed. It is important for linear object manipulation in industrial/med...
DAWAK
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...