16218 search results - page 447 / 3244 » Standards |
168
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
We propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the unio...
184
click to vote
CP
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard C...
168
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Bounding constraints are used to bound the tolerance of solutions under certain undesirable features. Standard solvers propagate them one by one. Often times, it is easy to satisfy...
142
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We introduce a new approach to spellchecking for languages with extreme phonetic irregularities. The spelling for such languages can be significantly improved if knowledg...
192
click to vote
ECML
2006
Springer
15 years 11 months ago
2006
Springer
This paper studies the PAC and agnostic PAC learnability of some standard function classes in the learning in higher-order logic setting introduced by Lloyd et al. In particular, i...