10055 search results - page 177 / 2011 » Structured programming using processes |
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
The goal of Reinforcement learning (RL) is to maximize reward (minimize cost) in a Markov decision process (MDP) without knowing the underlying model a priori. RL algorithms tend ...
JSW
2007
13 years 9 months ago
2007
— Software is often constructed using a layered approach to encapsulate various functionality in corresponding layers. Individual requirements of each layer demand layer specifi...
TDM
2004
13 years 10 months ago
2004
This paper examines the use of XML for modern extractionbased question answering (QA). We feel that the XML community has taken too narrow a view of structured retrieval, and that...
AC
2000
Springer
14 years 1 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...