13553 search results - page 108 / 2711 » A Generalized Multi-View Approach |
131
click to vote
TCAD
2008
15 years 3 months ago
2008
Detecting symmetries has many applications in logic synthesis that include, amongst other things, technology mapping, deciding equivalence of Boolean functions when the input corre...
122
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Combinations of microphones and cameras allow the joint audio visual sensing of a scene. Such arrangements of sensors are common in biological organisms and in applications such a...
256
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
124
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
115
click to vote
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
As the operation frequency reaches gigahertz in very deep-submicron designs, the effect of on-chip inductance on circuit performance can no longer be neglected. Therefore, it is d...