17770 search results - page 3096 / 3554 » A Generalization of Forward-Backward Algorithm |
157
click to vote
INFOCOM
2007
IEEE
16 years 15 days ago
2007
IEEE
— We consider fair allocation of sessions at the outputs of optical cross-connects employing wavelength division multiplexing (WDM). Each session consists of traffic on one or m...
166
click to vote
KBSE
2007
IEEE
16 years 14 days ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
172
click to vote
KBSE
2007
IEEE
16 years 14 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
150
click to vote
TASE
2007
IEEE
16 years 13 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
166
click to vote
TPHOL
2007
IEEE
16 years 13 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...