1547 search results - page 223 / 310 » Randomized Variable Elimination |
106
Voted
LISP
2007
15 years 16 days ago
2007
Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pu...
129
Voted
OSN
2007
15 years 5 days ago
2007
— We present a review of the various integer linear programming (ILP) formulations that have been proposed for the routing and wavelength assignment problem in WDM optical networ...
150
click to vote
KI
2010
Springer
14 years 7 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
128
click to vote
MOBICOM
2012
ACM
13 years 3 months ago
2012
ACM
Given that full duplex (FD) and MIMO both employ multiple antenna resources, an important question that arises is how to make the choice between MIMO and FD? We show that optimal ...
109
click to vote
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...