868 search results - page 86 / 174 » Optimizing Logic Design Using Boolean Transforms |
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Logic simulation is a critical component of the design tool flow in modern hardware development efforts. It is used widely ? from high-level descriptions down to gate-level ones ?...
MICCAI
2004
Springer
15 years 10 months ago
2004
Springer
This paper introduces a new similarity measure designed to bring a population of segmented subjects into alignment in a common coordinate system. Our metric aligns each subject wit...
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...
EWCBR
2008
Springer
14 years 11 months ago
2008
Springer
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a method for real-time 3D object detection
that does not require a time consuming training stage, and
can handle untextured objects. At its core, is a novel tem-
plat...