3778 search results - page 238 / 756 » Erdos-Ko-Rado for three sets |
165
click to vote
CAD
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we consider error propagation in geometric constructions from a geometric viewpoint. First we study affine combinations of convex bodies: This has numerous examples ...
160
click to vote
TLCA
1993
Springer
15 years 9 months ago
1993
Springer
This paper describes formalizations of Tait’s normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs p...
165
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Workflow systems are used to model a range of scientific and business applications, each requiring a different set of capabilities. We analyze how these heterogeneous approaches ca...
126
click to vote
HCI
2007
15 years 7 months ago
2007
This paper presents an experience of educational podcasting set up at the University of Bergamo (Italy), and derives from that experience some remarks upon the quality of podcastin...
164
click to vote
ACL
2001
15 years 7 months ago
2001
In this paper we argue that comparative evaluation in anaphora resolution has to be performed using the same pre-processing tools and on the same set of data. The paper proposes a...