3616 search results - page 25 / 724 » Conditional Memory Ordering |
112
click to vote
TCSV
2002
15 years 2 months ago
2002
Abstract--We consider the scenario of using Automatic Repeat reQuest (ARQ) retransmission for two-way low-bit-rate video communications over wireless Rayleigh fading channels. Low-...
130
click to vote
EMNLP
2009
15 years 4 days ago
2009
We present a new phrase-based conditional exponential family translation model for statistical machine translation. The model operates on a feature representation in which sentenc...
119
click to vote
AAAI
2004
15 years 3 months ago
2004
A logic of conditional preferences is defined, with a language which allows the compact representation of certain kinds of conditional preference statements, a semantics and a pro...
159
click to vote
DEXA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Previous works in change detection on XML focused on detecting changes to text file using ordered and unordered tree model. These approaches are not suitable for detecti...
132
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...