3154 search results - page 90 / 631 » Computing Closed Skycubes |
160
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
The genus of a knot or link can be defined via Seifert surfaces. A Seifert surface of a knot or link is an oriented surface whose boundary coincides with that knot or link. Schem...
128
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
146
click to vote
GD
2003
Springer
15 years 9 months ago
2003
Springer
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...
158
Voted
ECML
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a decoupled two stage solution to the multiple-instance learning (MIL) problem. With a constructed affinity matrix to reflect the instance relations, a modified...
143
Voted
AGP
1995
IEEE
15 years 8 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...