3778 search results - page 654 / 756 » Erdos-Ko-Rado for three sets |
127
click to vote
JANCL
2007
15 years 4 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...
160
click to vote
TMI
2008
15 years 4 months ago
2008
In this article, we propose an automatic method to detect microaneurysms in retina photographs. Microaneurysms are the most frequent and usually the first lesions to appear as a co...
145
click to vote
TOG
2008
15 years 4 months ago
2008
This paper presents a technique to enhance a kinematically controlled virtual character with a generic class of dynamic responses to small perturbations. Given an input motion seq...
140
click to vote
TOG
2008
15 years 4 months ago
2008
Oscillatory motion is ubiquitous in computer graphics, yet existing animation techniques are ill-suited to its authoring. We introduce a new type of spline for this purpose, known...
141
click to vote
JCT
2007
15 years 4 months ago
2007
Abstract. Simple families of increasing trees can be constructed from simply generated tree families, if one considers for every tree of size n all its increasing labellings, i.e.,...