Sciweavers

617 search results - page 40 / 124
» A unified language processing methodology
Sort
View
TBILLC
2007
Springer
15 years 3 months ago
Expressing Belief Flow in Assertion Networks
In the line of some earlier work done on belief dynamics, we an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A modal la...
Sujata Ghosh, Fernando R. Velázquez-Quesada
ICALP
2011
Springer
14 years 1 months ago
On the Semantics of Markov Automata
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
Yuxin Deng, Matthew Hennessy
HPCN
2000
Springer
15 years 1 months ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos
CIVR
2009
Springer
134views Image Analysis» more  CIVR 2009»
15 years 4 months ago
Towards surveillance video search by natural language query
Spatial language video retrieval is an important real-world problem that is also a natural test bed for evaluating semantic structures for natural language descriptions of motion ...
Stefanie Tellex, Deb Roy
LREC
2008
85views Education» more  LREC 2008»
14 years 11 months ago
Amazigh Language Terminology in Morocco or Management of a "Multidimensional" Variation
The present communication brings to the fore the work undertaken at IRCAM within CAL within the framework of the language planning of Amazigh, particularly on the side of terminol...
Aïcha Bouhjar