Sciweavers

440 search results - page 52 / 88
» A DOP Model for Semantic Interpretation
Sort
View
FOSSACS
2003
Springer
15 years 11 months ago
A Game Semantics for Generic Polymorphism
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
Samson Abramsky, Radha Jagadeesan
ATAL
2010
Springer
15 years 7 months ago
Formalizing organizational constraints: a semantic approach
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
M. Birna van Riemsdijk, Koen V. Hindriks, Catholij...
APAL
2010
115views more  APAL 2010»
15 years 6 months ago
Kripke semantics for provability logic GLP
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
Lev D. Beklemishev
NAACL
2001
15 years 7 months ago
A Corpus-based Account of Regular Polysemy: The Case of Context-sensitive Adjectives
In this paper we investigate polysemous adjectives whose meaning varies depending on the nouns they modify (e.g., fast). We acquire the meanings of these adjectives from a large c...
Maria Lapata
ICIP
2005
IEEE
16 years 7 months ago
A weight-adaptive dynamic model for shape segmentation
Physically based dynamic models are able to describe variable shapes without prior training. Their behaviour to find an object is intuitive, which facilitates corrections of false...
Klaus D. Tönnies, Peter Benedix