5510 search results - page 303 / 1102 » Mathematics |
138
click to vote
DMTCS
2003
15 years 7 months ago
2003
Two philosophical applications of the concept of program-size complexity are discussed. First, we consider the light program-size complexity sheds on whether mathematics is invent...
178
click to vote
IJCAI
2003
15 years 7 months ago
2003
In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities—for example cavities and invading particles—that may coincide without...
142
click to vote
LEGE
2003
15 years 7 months ago
2003
Our proposal starts from the study of the epistemological statute of the didactics of the mathematics (Henry, 1991; D’Amore, 1999), which faces the phenomenon of learning fromthe...
160
click to vote
ACL
1998
15 years 7 months ago
1998
The paper investigates the problem of providing a formal device for the dependency approach to syntax, and to link it with a parsing model. After reviewing the basic tenets of the...
147
click to vote
ROOM
2000
15 years 7 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...