2143 search results - page 270 / 429 » Linking Representation with Meaning |
198
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
153
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--Interdependencies between different security patterns can influence the properties of a particular pattern when applied in conjunction with other patterns. The resulting ...
190
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
213
click to vote
EWSN
2006
Springer
15 years 10 months ago
2006
Springer
The wide availability of radio signal strength attenuation information on wireless radios has received considerable attention as a convenient means of deriving positioning informat...
166
click to vote
AAAI
2008
15 years 8 months ago
2008
Multilingual parallel text corpora provide a powerful means for propagating linguistic knowledge across languages. We present a model which jointly learns linguistic structure for...