4850 search results - page 150 / 970 » Proof and Computation in Geometry |
167
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatis...
168
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
A major challenge for traditional approaches to multiagent learning is to train teams that easily scale to include additional agents. The problem is that such approaches typically...
189
click to vote
WETICE
1997
IEEE
15 years 10 months ago
1997
IEEE
When an artifact is designed the typical output consists of documents describing the final result of a long series of deliberations and tradeoffs by the participants of collaborat...
166
click to vote
CCCG
2010
15 years 8 months ago
2010
A zone diagram is a relatively new concept which has emerged in computational geometry and is related to Voronoi diagrams. Formally, it is a fixed point of a certain mapping, and ...