Sciweavers

3145 search results - page 195 / 629
» A Computational Psycholinguistic Model of Natural Language P...
Sort
View
POPL
2005
ACM
16 years 5 months ago
Communicating quantum processes
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
Simon J. Gay, Rajagopal Nagarajan
IR
2007
15 years 4 months ago
Searching strategies for the Bulgarian language
This paper reports on the underlying IR problems encountered when indexing and searching with the Bulgarian language. For this language we propose a general light stemmer and demon...
Jacques Savoy
UML
2005
Springer
15 years 10 months ago
Code Generation from UML Models with Semantic Variation Points
UML semantic variation points provide intentional degrees of freedom for the interpretation of the metamodel semantics. The interest of semantic variation points is that UML now b...
Franck Chauvel, Jean-Marc Jézéquel
CONCUR
2006
Springer
15 years 8 months ago
A Language for Task Orchestration and Its Semantic Properties
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
David Kitchin, William R. Cook, Jayadev Misra
IPPS
2002
IEEE
15 years 9 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders