2607 search results - page 261 / 522 » Complete Functional Synthesis |
112
Voted
COR
2006
15 years 4 months ago
2006
In this paper the one-machine scheduling problem with linear earliness and tardiness costs is considered. The7 cost functions are job dependent and asymmetric. The problem consist...
133
click to vote
CSDA
2007
15 years 4 months ago
2007
Random k-nearest-neighbour (RKNN) imputation is an established algorithm for filling in missing values in data sets. Assume that data are missing in a random way, so that missing...
135
click to vote
ENTCS
2007
15 years 4 months ago
2007
This article describes an architecture for creating responsive web interfaces for proof assistants. The architecture combines current web development technologies with the functio...
121
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
Judgment aggregation problems are language dependent in that they may be framed in different yet equivalent ways. We formalize this dependence via the notion of translation invari...
127
Voted
CGF
2004
15 years 4 months ago
2004
We present an automatic camera and mirrors placement method for visualizing 3D scenes such that complete and nonredundant visibility is guaranteed, as well as highest image resolu...