2237 search results - page 133 / 448 » Advanced Prosody Modelling |
138
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—Significant progress has been made in understanding the behavior of TCP and congestion-controlled traffic over multihop wireless networks. Despite these advances, however, no ...
138
click to vote
COORDINATION
2007
Springer
15 years 11 months ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
123
click to vote
SAT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
156
Voted
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
159
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...