Sciweavers

3145 search results - page 38 / 629
» A Computational Psycholinguistic Model of Natural Language P...
Sort
View
MODELS
2009
Springer
14 years 5 days ago
CSP(M): Constraint Satisfaction Problem over Models
Ákos Horváth, Dániel Varr&oac...
MODELS
2009
Springer
14 years 5 days ago
Representation and Traversal of Large Clabject Models
Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree
ICALP
2005
Springer
14 years 1 months ago
Basic Observables for a Calculus for Global Computing
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
MODELS
2009
Springer
14 years 2 months ago
Incremental Model Synchronization for Efficient Run-Time Monitoring
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...