Sciweavers

3238 search results - page 332 / 648
» On the Computational Interpretation of Negation
Sort
View
ACMSE
2006
ACM
15 years 10 months ago
Yaccscript: a platform for intersecting high-level languages
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
John Healey
ICCS
2000
Springer
15 years 10 months ago
Extending the CG Model by Simulations
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...
Jean-François Baget
PPSN
2000
Springer
15 years 10 months ago
Optimization as Side-Effect of Evolving Allelopathic Diversity
Many bacteria carry gene complexes that code for a toxin-antidote pair, e.g. colicin systems. Such gene complexes can be advantageous for its host by killing competitor bacteria wh...
Ludo Pagie, Paulien Hogeweg
CHI
1995
ACM
15 years 10 months ago
SageTools: an intelligent environment for sketching, browsing, and customizing data-graphics
Our approach views data-graphic design as two complementary processes: design as a constructive process of selecting and arranging graphical elements, and design as a process of b...
Steven F. Roth, John Kolojejchick, Joe Mattis, Mei...
DSVIS
1995
Springer
15 years 10 months ago
Moving between Contexts
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...
Alan J. Dix