10891 search results - page 276 / 2179 » Combining Model Reductions |
150
click to vote
DAC
2011
ACM
14 years 4 months ago
2011
ACM
In the era of deep sub-wavelength lithography for nanometer VLSI designs, manufacturability and yield issues are critical and need to be addressed during the key physical design i...
147
Voted
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...
151
click to vote
NIPS
2008
15 years 5 months ago
2008
Recently, supervised dimensionality reduction has been gaining attention, owing to the realization that data labels are often available and indicate important underlying structure...
142
click to vote
JANCL
2007
15 years 4 months ago
2007
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...
143
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
It is becoming increasingly important to be able to credential and identify authorized personnel at key points of entry. Such identity management systems commonly employ biometric...