Sciweavers

1237 search results - page 203 / 248
» Strictness and Totality Analysis
Sort
View
CAS
1999
92views more  CAS 1999»
15 years 5 months ago
Towards a Logical Reconstruction of Information Retrieval Theory
We here expand on a previous paper concerning the role of logic in information retrieval (IR) modelling. In that paper, among other things, we had pointed out how different ways of...
Fabrizio Sebastiani
JMIV
1998
130views more  JMIV 1998»
15 years 5 months ago
Topological Numbers and Singularities in Scalar Images: Scale-Space Evolution Properties
Singular points of scalar images in any dimensions are classified by a topological number. This number takes integer values and can efficiently be computed as a surface integral ...
Stiliyan Kalitzin, Bart M. ter Haar Romeny, Alfons...
PAMI
1998
131views more  PAMI 1998»
15 years 5 months ago
Characterization of Neuropathological Shape Deformations
—We present a framework for analyzing the shape deformation of structures within the human brain. A mathematical model is developed describing the deformation of any brain struct...
John Martin, Alex Pentland, Stan Sclaroff, Ron Kik...
RC
2002
72views more  RC 2002»
15 years 5 months ago
Symbolic Preconditioning with Taylor Models: Some Examples
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
R. Baker Kearfott, G. William Walster
TIT
1998
79views more  TIT 1998»
15 years 5 months ago
Capacity of Two-Layer Feedforward Neural Networks with Binary Weights
— The lower and upper bounds for the information capacity of two-layer feedforward neural networks with binary interconnections, integer thresholds for the hidden units, and zero...
Chuanyi Ji, Demetri Psaltis