Sciweavers

1897 search results - page 39 / 380
» Conditional Linear Planning
Sort
View
NETCOOP
2007
Springer
15 years 4 months ago
A New Necessary Condition for Shortest Path Routing
In shortest path routing, traffic is routed along shortest paths defined by link weights. However, not all path systems are feasible in that they can be realized in this way. This...
Mats Petter Pettersson, Krzysztof Kuchcinski
ICASSP
2011
IEEE
14 years 1 months ago
An uniqueness condition for the 4-way CANDECOMP/PARAFAC model with collinear loadings in three modes
In this paper we investigate the uniqueness of the 4-way CANDECOMP/PARAFAC (CP) model in the case where the only possible linear dependencies between the columns of the loading ma...
David Brie, Sebastian Miron, Fabrice Caland, Chris...
INFOCOM
2007
IEEE
15 years 4 months ago
Constructions of Fault Tolerant Linear Compressors and Linear Decompressors
— The constructions of optical buffers is one of the most critically sought after optical technologies in all-optical packet-switched networks, and constructing optical buffers d...
Cheng-Shang Chang, Tsz-Hsuan Chao, Jay Cheng, Duan...
POPL
2001
ACM
15 years 10 months ago
Avoiding exponential explosion: generating compact verification conditions
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
Cormac Flanagan, James B. Saxe
MP
2006
175views more  MP 2006»
14 years 9 months ago
Conditional Value-at-Risk in Stochastic Programs with Mixed-Integer Recourse
In classical two-stage stochastic programming the expected value of the total costs is minimized. Recently, mean-risk models - studied in mathematical finance for several decades -...
Rüdiger Schultz, Stephan Tiedemann