142 search results - page 16 / 29 » Variability encoding: From compile-time to load-time variabi... |
150
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
127
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
We propose new filtering algorithms for the SEQUENCE constraint and some extensions of the SEQUENCE constraint based on network flows. We enforce domain consistency on the SEQUENCE...
114
Voted
AI
1999
Springer
15 years 3 months ago
1999
Springer
Stochastic local search (SLS) algorithms have been successfully applied to hard combinatorial problems from different domains. Due to their inherent randomness, the run-time behav...
118
Voted
TNN
1998
15 years 3 months ago
1998
—A structured organization of information is typically required by symbolic processing. On the other hand, most connectionist models assume that data are organized according to r...
110
click to vote
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a novel mechanism for dynamic rate control of prioritised Voice Over IP (VoIP) traffic in real time. The system uses our proposed variable bit rate speech codec...