3717 search results - page 188 / 744 » Representing Multiple Theories |
185
click to vote
ECAL
1995
Springer
15 years 7 months ago
1995
Springer
A genetic algorithm scheme with a stochastic genotype/phenotype relation is proposed. The mechanisms responsible for this intermediate level of uncertainty, are inspired by the bio...
158
click to vote
TYPES
1995
Springer
15 years 7 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
151
click to vote
IE
2007
15 years 5 months ago
2007
By blurring the boundary between game fiction and reality, Pervasive Games impact the shared space of the city areas that they use as gaming platform. Drawing on notions of spatia...
143
click to vote
NIPS
2008
15 years 5 months ago
2008
Compressive Sensing (CS) combines sampling and compression into a single subNyquist linear measurement process for sparse and compressible signals. In this paper, we extend the th...
142
click to vote
IJCAI
1997
15 years 5 months ago
1997
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...