Sciweavers

5619 search results - page 184 / 1124
» A Region Inference Algorithm
Sort
View
ESOP
2010
Springer
15 years 11 months ago
Amortized Resource Analysis with Polynomial Potential - A Static Inference of Polynomial Bounds for Functional Programs
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
Jan Hoffmann and Martin Hofmann
CONEXT
2006
ACM
15 years 8 months ago
Inferring groups of correlated failures
We compare and evaluate different methods to infer groups of correlated failures. These methods try to group failure events occurring nearly simultaneously in clusters. Indeed if...
Jean Lepropre, Guy Leduc
116
Voted
CEC
2005
IEEE
15 years 8 months ago
Clustering-based approach to identify solutions for the inference of regulatory networks
Abstract- In this paper we address the problem of finding valid solutions for the problem of inferring gene regulatory networks. Different approaches to directly infer the depende...
Christian Spieth, Felix Streichert, Nora Speer, An...
124
Voted
ICMCS
2005
IEEE
80views Multimedia» more  ICMCS 2005»
15 years 8 months ago
Extent: Inferring Image Metadata from Context and Content
We present EXTENT, an image annotation system that combines the context and content information to annotate images with metadata that cannot be reliably inferred from either the c...
Chang-Ming Tsai, Arun Qamra, Edward Y. Chang, Yuan...
DASFAA
2010
IEEE
252views Database» more  DASFAA 2010»
15 years 6 months ago
Effectively Inferring the Search-for Node Type in XML Keyword Search
xml keyword search provides a simple and user-friendly way of retrieving data from xml databases, but the ambiguities of keywords make it difficult to effectively answer keyword qu...
Jiang Li, Junhu Wang