2237 search results - page 211 / 448 » Advanced Prosody Modelling |
143
click to vote
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
139
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
134
click to vote
WSC
2001
15 years 5 months ago
2001
Recent advances in low-power embedded processors, radios, and micro-mechanical systems (MEMs) have made possible the development of networks of wirelessly interconnected sensors. ...
140
click to vote
UAI
1993
15 years 5 months ago
1993
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...
126
click to vote
AAMAS
2008
Springer
15 years 4 months ago
2008
Springer
The continuous growth in ubiquitous and mobile network connectivity, together with the increasing number of networked devices populating our everyday environments, call for a deep ...