423 search results - page 58 / 85 » On Term Rewriting Systems Having a Rational Derivation |
FSEN
2007
Springer
15 years 3 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
LREC
2008
14 years 11 months ago
2008
Speaker identification and verification systems have a poor performance when model training is done in one language while the testing is done in another. This situation is not unu...
NDQA
2003
14 years 11 months ago
2003
The World Wide Web lacks support for explaining information provenance. When web applications return results, many users do not know what information sources were used, when they ...
PROMISE
2010
14 years 4 months ago
2010
Background: Defects are related to failures and they do not have much power for indicating a higher quality or a better system above the baseline that the end-users expect. Nevert...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Reinforcement learning promises a generic method for adapting agents to arbitrary tasks in arbitrary stochastic environments, but applying it to new real-world problems remains di...