Sciweavers

1415 search results - page 110 / 283
» List making in the home
Sort
View
CSUR
1999
137views more  CSUR 1999»
15 years 6 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
NAR
2002
136views more  NAR 2002»
15 years 6 months ago
Gene Expression Omnibus: NCBI gene expression and hybridization array data repository
The Gene Expression Omnibus (GEO) project was initiated in response to the growing demand for a public repository for high-throughput gene expression data. GEO provides a flexible...
Ron Edgar, Michael Domrachev, Alex E. Lash
SIGIR
1998
ACM
15 years 6 months ago
Exploring the Similarity Space
Ranked queries are used to locate relevant documents in text databases. In a ranked query a list of terms is specified, then the documents that most closely match the query are re...
Justin Zobel, Alistair Moffat
SIGKDD
2002
81views more  SIGKDD 2002»
15 years 6 months ago
P-tree Classification of Yeast Gene Deletion Data
Genomics data has many properties that make it different from "typical" relational data. The presence of multi-valued attributes as well as the large number of null valu...
Amal Perera, Anne Denton, Pratap Kotala, William J...
IEEECIT
2010
IEEE
15 years 5 months ago
Robust Detection of Corners and Corner-line Links in Images
We define corner points in an image as the intersections among detected straight line segments, and propose an algorithm that detects corners from such a definition. Our corner det...
Andres Solis Montero, Milos Stojmenovic, Amiya Nay...