9264 search results - page 420 / 1853 » Space Between Languages |
179
click to vote
SIAMREV
2010
15 years 1 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...
188
click to vote
DALT
2004
Springer
16 years 7 days 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 ...
191
click to vote
ASM
2003
ASM
16 years 2 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...
201
click to vote
EACL
2006
ACL Anthology
15 years 8 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...
146
click to vote
ACL
1997
15 years 8 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...