Sciweavers

6794 search results - page 403 / 1359
» Semantics of Visual Languages
Sort
View
COGSCI
2004
105views more  COGSCI 2004»
15 years 6 months ago
Intention, interpretation and the computational structure of language
I show how a conversational process that takes simple, intuitively meaningful steps may be understood as a sophisticated computation that derives the richly detailed, complex repr...
Matthew Stone
ECEASST
2010
15 years 1 months ago
Verified Visualisation of Textual Modelling Languages
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
Fintan Fairmichael, Joseph Kiniry
TACAS
2009
Springer
134views Algorithms» more  TACAS 2009»
16 years 1 months ago
Compositional Predicate Abstraction from Game Semantics
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
Adam Bakewell, Dan R. Ghica
TASE
2009
IEEE
16 years 1 months ago
Semantics of Metamodels in UML
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
Lijun Shan, Hong Zhu
SIGIR
2005
ACM
16 years 11 days ago
Finding semantically similar questions based on their answers
A large number of question and answer pairs can be collected from question and answer boards and FAQ pages on the Web. This paper proposes an automatic method of finding the ques...
Jiwoon Jeon, W. Bruce Croft, Joon Ho Lee