Sciweavers

9444 search results - page 88 / 1889
» The Language Model LMNtal
Sort
View
95
Voted
MODELS
2009
Springer
15 years 11 months ago
Formal Support for QVT-Relations with Coloured Petri Nets
Juan de Lara, Esther Guerra
MODELS
2009
Springer
15 years 11 months ago
An Approach for Evolving Transformation Chains
Andrés Yie, Rubby Casallas, Dennis Wagelaar...
MODELS
2009
Springer
15 years 11 months ago
Extending OCL with Null-References
Achim D. Brucker, Matthias P. Krieger, Burkhart Wo...
JOLLI
2002
73views more  JOLLI 2002»
15 years 4 months ago
Extensive Games as Process Models
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...
Johan van Benthem
121
Voted
LREC
2010
184views Education» more  LREC 2010»
15 years 6 months ago
New Features in Spoken Language Search Hawk (SpLaSH): Query Language and Query Sequence
In this work we present further development of the SpLaSH (Spoken Language Search Hawk) project. SpLaSH implements a data model for annotated speech corpora integrated with textua...
Sara Romano, Francesco Cutugno