Sciweavers

6794 search results - page 617 / 1359
» Semantics of Visual Languages
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
15 years 7 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
AML
2006
87views more  AML 2006»
15 years 7 months ago
The modal logic of continuous functions on cantor space
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
Philip Kremer
IR
2007
15 years 7 months ago
Modeling context through domain ontologies
Traditional information retrieval systems aim at satisfying most users for most of their searches, leaving aside the context in which the search takes place. We propose to model tw...
Nathalie Hernandez, Josiane Mothe, Claude Chrismen...
LISP
2002
105views more  LISP 2002»
15 years 6 months ago
Specification Diagrams for Actor Systems
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
Scott F. Smith, Carolyn L. Talcott
EMNLP
2009
15 years 5 months ago
Improving Verb Clustering with Automatically Acquired Selectional Preferences
In previous research in automatic verb classification, syntactic features have proved the most useful features, although manual classifications rely heavily on semantic features. ...
Lin Sun, Anna Korhonen