866 search results - page 144 / 174 » A compositional semantics for CHR |
COLING
2002
13 years 7 months ago
2002
To support context-based multimodal interpretation in conversational systems, we have developed a semantics-based representation to capture salient information from user inputs an...
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
In Artificial Intelligence with Coalition Structure Generation (CSG) one refers to those cooperative complex problems that require to find an optimal partition, maximising a soci...
CRYPTO
2011
Springer
12 years 7 months ago
2011
Springer
Deterministic public-key encryption, introduced by Bellare, Boldyreva, and O’Neill (CRYPTO ’07), provides an alternative to randomized public-key encryption in various scenari...
CMSB
2007
Springer
14 years 1 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...