3136 search results - page 372 / 628 » Genetic programming theory |
165
click to vote
CCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
182
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Data privacy is an important application of ontology modularization. The aim is to publish one module while keeping the information of another module private. We show how...
163
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Preferences and uncertainty occur in many real-life problems. The theory of possibility is one way of dealing with uncertainty, which allows for easy integration with fuzzy prefer...
162
Voted
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
143
click to vote
APLAS
2003
ACM
15 years 12 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...