2000 search results - page 272 / 400 » Program Transformation and Proof Transformation |
112
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
This paper considers a portfolio selection problem with type-2 fuzzy future returns involving ambiguous and subjectivity. Since this proposed problem is not well-defined due to fuz...
167
click to vote
CC
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. How can we exploit a microprocessor as efficiently as possible? The “classic” approach is static optimization at compile-time, optimizing a program for all possible u...
227
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Many data integration solutions in the market today include tools for schema mapping, to help users visually relate elements of different schemas. Schema elements are connected wit...
126
click to vote
EUROGRAPHICS
2010
Eurographics
16 years 24 days ago
2010
Eurographics
Ray–based representations can model complex light transport but are limited in modeling diffraction effects that require the simulation of wavefront propagation. This paper prov...
154
click to vote
CVPR
2010
IEEE
16 years 6 days ago
2010
IEEE
This paper studies the problem of simultaneously aligning a batch of linearly correlated images despite gross corruption (such as occlusion). Our method seeks an optimal set of im...