Sciweavers

2588 search results - page 223 / 518
» Applications of Kolmogorov complexity to computable model th...
Sort
View
OOPSLA
2010
Springer
15 years 5 months ago
Ficticious: MicroLanguages for interactive fiction
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
James Dean Palmer
LICS
2006
IEEE
16 years 19 days ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra
GROUP
2003
ACM
15 years 12 months ago
Communities of action: a cognitive and social approach to the design of CSCW systems
Most current theories about collective cognitive activities in limited groups apply to structurally closed co-operative situations Here we propose to work in the framework of inte...
Manuel Zacklad
KR
2000
Springer
15 years 10 months ago
A Logic Based Language for Parametric Inheritance
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
Hasan M. Jamil
CAD
2005
Springer
15 years 6 months ago
Bio-CAD
CAD has been traditionally used to assist in engineering design and modeling for representation, analysis and manufacturing. Advances in Information Technology and in Biomedicine ...
Wei Sun