Sciweavers

13734 search results - page 315 / 2747
» Abstractions of data types
Sort
View
VMCAI
2007
Springer
16 years 22 days ago
Constructing Specialized Shape Analyses for Uniform Change
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W....
BMCBI
2005
86views more  BMCBI 2005»
15 years 6 months ago
Confirmation of human protein interaction data by human expression data
Background: With microarray technology the expression of thousands of genes can be measured simultaneously. It is well known that the expression levels of genes of interacting pro...
Andreas Hahn, Jörg Rahnenführer, Priti T...
GRAPHITE
2003
ACM
15 years 12 months ago
A framework for a dynamic interactive 3D GIS for non-expert users
Many substantial geographic information systems (GIS) have been designed for use by expert users. As a result, nonexpert users often find them difficult to use. This paper present...
Arron R. Walker, Binh Pham, Anthony J. Maeder
FOCS
2000
IEEE
15 years 11 months ago
Clustering Data Streams
The data stream model has recently attracted attention for its applicability to numerous types of data, including telephone records, web documents and clickstreams. For analysis o...
Sudipto Guha, Nina Mishra, Rajeev Motwani, Liadan ...
ISTA
2007
15 years 8 months ago
Knowledge and Metadata Integration for Warehousing Complex Data
: With the ever-growing availability of so-called complex data, especially on the Web, decision-support systems such as data warehouses must store and process data that are not onl...
Jean-Christian Ralaivao, Jérôme Darmo...