2662 search results - page 204 / 533 » Tools Demonstrations |
117
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
Statistical appearance models are valuable tools in medical image segmentation. Current methods elegantly incorporate global shape and appearance, but can not cope with local appe...
127
Voted
DAC
1998
ACM
16 years 6 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
142
click to vote
DAC
2000
ACM
16 years 6 months ago
2000
ACM
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the ...
147
click to vote
DAC
2001
ACM
16 years 6 months ago
2001
ACM
Communication-based design represents a formal approach to systemon-a-chip design that considers communication between components as important as the computations they perform. Ou...
135
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
We cast model-free reinforcement learning as the problem of maximizing the likelihood of a probabilistic mixture model via sampling, addressing both the infinite and finite horizo...