2588 search results - page 182 / 518 » Applications of Kolmogorov complexity to computable model th... |
117
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
The construction of composite Web Services from service fragments requires semantic descriptions of service offers and service requests. We propose the use of dependencies as a mo...
119
click to vote
ICTAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
153
click to vote
STORYTELLING
2005
Springer
15 years 7 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
CMOT
1998
15 years 1 months ago
1998
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
103
click to vote
PLSA
1994
15 years 6 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...