2119 search results - page 92 / 424 » Structure-Preserving Model Reduction |
133
click to vote
TLCA
2009
Springer
15 years 9 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...
140
click to vote
NIPS
2008
15 years 4 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...
130
click to vote
JANCL
2007
15 years 2 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...
114
click to vote
FPL
2008
Springer
15 years 4 months ago
2008
Springer
This paper considers the implementation of an annealing technique for dynamic power reduction in FPGAs. The proposed method comprises a power-aware objective function for placemen...
112
click to vote
FMCO
2008
Springer
15 years 4 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...