3564 search results - page 267 / 713 » Evaluating a Formal Modelling Language |
165
click to vote
ICMI
2009
Springer
16 years 21 days ago
2009
Springer
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
155
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
150
click to vote
FSMNLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a formalization of lexicalized Recursive Transition Networks which we call Automaton-Based Generative Dependency Grammar (gdg). We show how to extract a gdg fr...
127
click to vote
JLP
2008
15 years 6 months ago
2008
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-loc...
148
click to vote
FAC
2002
15 years 6 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...