3653 search results - page 558 / 731 » On Recognizable Timed Languages |
173
click to vote
CP
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
152
click to vote
ICALP
2009
Springer
16 years 28 days ago
2009
Springer
Abstract Randomized rumor spreading is an efficient protocol to distribute information in networks. Recently, a quasirandom version has been proposed and proven to work equally we...
145
click to vote
ICALP
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...
170
click to vote
ICLP
2009
Springer
16 years 27 days ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
135
click to vote
ICASSP
2009
IEEE
16 years 26 days ago
2009
IEEE
Children need to master reading letter-names and lettersounds before reading phrases and sentences. Pronunciation assessment of letter-names and letter-sounds read aloud is an imp...