11160 search results - page 232 / 2232 » Incompleteness in a General Setting |
163
click to vote
GLVLSI
2007
IEEE
16 years 3 days ago
2007
IEEE
A special logic synthesis problem is considered for Boolean functions which have large don’t care sets and are irregular. Here, a function is considered as irregular if the inpu...
145
click to vote
COMPGEOM
2006
ACM
15 years 11 months ago
2006
ACM
Abstract We introduce a parameterized notion of feature size that interpolates between the minimum of the local feature size and the recently introduced weak feature size. Based on...
161
Voted
EMMCVPR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper exposes a novel formulation of prior shape constraint incorporation for the level set segmentation of objects from corrupted images. Applicable to variational ...
115
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
Abstract— In this paper we enhance the performance of multicycle path analysis in an industrial setting. Industrial designs are, in general, more complicated, but contain more in...
127
click to vote
HT
2004
ACM
15 years 11 months ago
2004
ACM
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...