3591 search results - page 302 / 719 » Typing linear constraints |
222
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
197
Voted
IMAGING
2004
15 years 8 months ago
2004
A Bayesian method of generating color correction matrices for digital image sensors is presented. This method was developed for sensors with poor colorimetric quality, and uses st...
213
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
169
click to vote
COR
2008
15 years 7 months ago
2008
We study the viability of different robust optimization approaches to multiperiod portfolio selection. Robust optimization models treat future asset returns as uncertain coefficie...
152
click to vote
DISOPT
2008
15 years 7 months ago
2008
Abstract. Let the graph G = (V, E) be a cycle with n + 1 vertices, nonnegative vertex weights and positive edge lengths. The inverse 1-median problem on a cycle consists in changin...