9264 search results - page 420 / 1853 » Space Between Languages |
203
Voted
SIAMREV
2010
15 years 2 months ago
2010
We examine condition numbers, preconditioners, and iterative methods for finite element discretizations of coercive PDEs in the context of the fundamental solvability result, the L...
216
Voted
DALT
2004
Springer
16 years 1 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
210
Voted
ASM
2003
ASM
16 years 28 days ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
225
Voted
EACL
2006
ACL Anthology
15 years 9 months ago
2006
ACL Anthology
Term translation probabilities proved an effective method of semantic smoothing in the language modelling approach to information retrieval. We use Generalized Latent Semantic Ana...
166
Voted
ACL
1997
15 years 9 months ago
1997
We propose a unified framework in which to treat semantic underspecification and parallelism phenomena in discourse. The framework employs a constraint language that can express e...