20294 search results - page 124 / 4059 » Algorithmic Information Theory |
143
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Combination rules proposed so far in the DempsterShafer theory of evidence, especially Dempster rule, rely on a basic assumption, that is, pieces of evidence being combin...
147
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
134
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
Enhancement of learning with technology has been accelerating thanks to the advancement of information technology (IT) and the development of IT standards for learning. The purpose...
120
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, a genetic algorithm is introduced to generate variants of a choreographic sequence, which are then selected using different criteria. The mutation phase of the algo...
141
click to vote
COLING
1990
15 years 5 months ago
1990
This paper is a first step towards a computational account of Binding Theory (BT). Two algorithms that compute, respectively, Principle A and B have been provided. Particular atte...