523 search results - page 69 / 105 » A Formal Account of WS-BPEL |
SOCRATES
2008
13 years 11 months ago
2008
The aim of the present paper is to discuss the achievements and the drawbacks of the integration of LMS (learning management systems) with the cooperative tools of the Web 2.0 thr...
NIPS
2001
13 years 11 months ago
2001
The Temporal Coding Hypothesis of Miller and colleagues [7] suggests that animals integrate related temporal patterns of stimuli into single memory representations. We formalize t...
ACL
1997
13 years 11 months ago
1997
We describe a formal framework for interpretation of words and compounds in a discourse context which integrates a symbolic lexicon/grammar, word-sense probabilities, and a pragma...
JAIR
2007
13 years 9 months ago
2007
Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can ...
TYPES
1998
Springer
14 years 2 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...