1636 search results - page 293 / 328 » Type-Theoretic Functional Semantics |
COGSCI
2008
14 years 12 months ago
2008
What aspects of spatial relations influence speakers' choice of locative? This article presents a study of static spatial descriptions from 24 languages. The study reveals tw...
ENTCS
2010
14 years 12 months ago
2010
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
102
click to vote
IEE
2008
14 years 12 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
CN
2006
14 years 12 months ago
2006
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Automatic annotation of documents with controlled vocabulary terms (descriptors) from a conceptual thesaurus is not only useful for document indexing and retrieval. The mapping of...