Sciweavers

1086 search results - page 95 / 218
» Knowledge-based part correspondence
Sort
View
AML
2005
84views more  AML 2005»
13 years 10 months ago
Modularity of proof-nets
When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certain border. We call pretype of a module the set of partitions over its border indu...
Roberto Maieli, Quintijn Puite
TNN
2008
129views more  TNN 2008»
13 years 10 months ago
Data Visualization and Dimensionality Reduction Using Kernel Maps With a Reference Point
In this paper, a new kernel-based method for data visualization and dimensionality reduction is proposed. A reference point is considered corresponding to additional constraints ta...
Johan A. K. Suykens
JSS
2000
85views more  JSS 2000»
13 years 9 months ago
Modularized design for wrappers/monitors in data warehouse systems
To simplify the task of constructing wrapper/monitor for the information sources in data warehouse systems, we provide a modularized design method to re-use the code. By substitut...
Jorng-Tzong Horng, Jye Lu
COMBINATORICS
1998
93views more  COMBINATORICS 1998»
13 years 9 months ago
Durfee Polynomials
Let F(n) be a family of partitions of n and let F(n d) denote the set of partitions in F(n) with Durfee square of size d. We de ne the Durfee polynomial of F(n) to be the polynomi...
E. Rodney Canfield, Sylvie Corteel, Carla D. Savag...
IJBC
2008
70views more  IJBC 2008»
13 years 9 months ago
Branched Manifolds, knotted Surfaces and Dynamical Systems
: The main goal of this paper is to introduce part of a new approach of proving the existence of a nontrivial knot on any embedded template. This proof in branched 2-manifold case,...
W. Chen, Stephen P. Banks