111 search results - page 8 / 23 » Combined Decision Techniques for the Existential Theory of t... |
ECRTS
2003
IEEE
14 years 3 hour ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
TSMC
2002
13 years 6 months ago
2002
There are a lot of industrial applications that can be solved competitively by hard computing, while still requiring the tolerance for imprecision and uncertainty that can be explo...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Stability of Wardrop equilibria is analyzed for dynamical transportation networks in which the drivers’ route choices are influenced by information at multiple temporal and spat...
LPAR
2007
Springer
14 years 25 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
SIGIR
2010
ACM
13 years 10 months ago
2010
ACM
We investigate the problem of learning document classifiers in a multilingual setting, from collections where labels are only partially available. We address this problem in the ...