581 search results - page 34 / 117 » Abstract Semantics by Observable Contexts |
TYPES
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
LREC
2008
14 years 11 months ago
2008
Vector-based models of lexical semantics retrieve semantically related words automatically from large corpora by exploiting the property that words with a similar meaning tend to ...
DALT
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
ECCV
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. This work focuses on characterizing scenery images. We semantically divide the objects in natural landscape scenes into background and foreground and show that the shapes...