1930 search results - page 88 / 386 » Epistemic comparative conditionals |
104
click to vote
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes cross-layer optimization strategies and simulation results for H.264 video multicast over wireless LAN. The proposed scheme takes into account the varying cha...
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Partial order (PO) reduction methods are widely employed to combat state explosion during model-checking. In this paper, we develop a partial order reduction algorithm for rule-bas...
ECRTS
2003
IEEE
15 years 5 months ago
2003
IEEE
We present a sufficient linear-time schedulability test for preemptable, asynchronous, periodic task systems with arbitrary relative deadlines, scheduled on a uniprocessor by an ...
111
click to vote
ICTAI
2003
IEEE
2003
IEEE
Partitioning of Temporal Planning Problems in Mixed Space Using the Theory of Extended Saddle Points
15 years 5 months ago
We study the partitioning of temporal planning problems formulated as mixed-integer nonlinear programming problems, develop methods to reduce the search space of partitioned subpr...
107
click to vote
GECCO
2003
Springer
15 years 5 months ago
2003
Springer
Intermediate measurements in quantum circuits compare to conditional branchings in programming languages. Due to this, quantum circuits have a natural linear-tree structure. In thi...