4305 search results - page 222 / 861 » Analysing Protocol Implementations |
ACL
1996
13 years 10 months ago
1996
We propose an Mgorithm to resolve anaphors, tackling mainly the problem of intrasentential antecedents. We base our methodology on the fact that such antecedents are likely to occ...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
In the present paper we present a new approach to the synthesis of filled pauses. The problem is tackled from the point of view of disfluent speech synthesis. Based on the synth...
ACSC
2005
IEEE
14 years 2 months ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
COMCOM
2007
13 years 9 months ago
2007
Credit card transactions are a popular and diffused means of payment over the network. Unfortunately, current technology does not allow us to technically solve disputes that may ...
ENTCS
2007
13 years 9 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...