4184 search results - page 461 / 837 » Names of Our Lives |
193
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
178
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Detecting outliers in a large set of data objects is a major data mining task aiming at finding different mechanisms responsible for different groups of objects in a data set. All...
164
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
In this paper we present a user-centered design process for Active Capture systems. These systems bring together techniques from human-human direction practice, multimedia signal ...
160
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
As we move from deep submicron technology to nanotechnology for device manufacture, the need for defect-tolerant architectures is gaining importance. This is because, at the nanos...
174
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...