Sciweavers

4066 search results - page 462 / 814
» Almost Complete Sets
Sort
View
NAR
2000
122views more  NAR 2000»
15 years 7 months ago
ProDom and ProDom-CG: tools for protein domain analysis and whole genome comparisons
ProDom contains all protein domain families automatically generated from the SWISS-PROT and TrEMBL sequence databases (http://www.toulouse. inra.fr/prodom.html ). ProDom-CG result...
Florence Corpet, Florence Servant, Jér&ocir...
APIN
1998
78views more  APIN 1998»
15 years 7 months ago
The Method of Assigning Incidences
Incidence calculus is a probabilistic logic in which incidences, standing for the situations in which formulae may be true, are assigned to some formulae, and probabilities are as...
Weiru Liu, David McBryan, Alan Bundy
JCO
1998
69views more  JCO 1998»
15 years 7 months ago
Sortabilities of Partition Properties
Consider the partition of a set of integers into parts. Various partition properties have been proposed in the literature to facilitate the restriction of the focus of attention to...
Gerard J. Chang, Fu-Loong Chen, Lingling Huang, Fr...
JSS
2002
101views more  JSS 2002»
15 years 7 months ago
Software requirements validation via task analysis
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
PAMI
2002
103views more  PAMI 2002»
15 years 7 months ago
Digital Curves in 3D Space and a Linear-Time Length Estimation Algorithm
We consider simple digital curves in a 3D orthogonal grid as special polyhedrally bounded sets. These digital curves model digitized curves or arcs in three-dimensional euclidean ...
Thomas Bülow, Reinhard Klette