Sciweavers

349 search results - page 11 / 70
» The feature construct for SMV: Semantics
Sort
View
JSAI
2005
Springer
15 years 5 months ago
Representing Information Structure in a Formal Grammar of Danish
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...
Patrizia Paggio
FM
2005
Springer
132views Formal Methods» more  FM 2005»
15 years 5 months ago
Decoupling in Object Orientation
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
Ioannis T. Kassios
FINTAL
2006
15 years 3 months ago
Coordination Structures in a Typed Feature Structure Grammar: Formalization and Implementation
Abstract. Every language employs its own coordination strategies, according to the type of coordinating marking, the pattern of marking, the position of the marker, and the phrase ...
Jong-Bok Kim, Jaehyung Yang
CLOR
2006
15 years 3 months ago
Visual Classification by a Hierarchy of Extended Fragments
The chapter describes visual classification by a hierarchy of semantic fragments. In fragment-based classification, objects within a class are represented by common sub-structures ...
Shimon Ullman, Boris Epshtein
LICS
2000
IEEE
15 years 4 months ago
Game Semantics and Subtyping
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
Juliusz Chroboczek