6258 search results - page 498 / 1252 » Applied Text Generation |
167
click to vote
MVA
2000
15 years 8 months ago
2000
We propose the concept of the minimal photo hull which can produce the most consistent photographs among all of the photo hulls. In addition, it is also one of the optimal shapes ...
157
click to vote
EJC
2007
15 years 7 months ago
2007
We give a characterization of the root shadow spaces of buildings whose types correspond to Dynkin diagrams. The results generalize earlier geometric point-line characterizations ...
140
click to vote
JSC
2006
15 years 7 months ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
179
click to vote
COMBINATORICS
2000
15 years 6 months ago
2000
This note extends a recent result of Kannan, Tetali and Vempala to completely solve, via a simple proof, the problem of random generation of a labeled tournament with a given scor...
143
click to vote
ENTCS
2002
15 years 6 months ago
2002
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...