1351 search results - page 89 / 271 » An Analysis of Inference with the Universum |
JCDL
2003
ACM
15 years 3 months ago
2003
ACM
A musical piece typically has a repetitive structure. Analysis of this structure will be useful for music segmentation, indexing and thumbnailing. This paper presents an algorithm...
CP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper we give an overview of applications of Constraint Programming for IP (Internet Protocol) data networks, and discuss the problem of Resilience Analysis in mo...
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
ACTA
2005
14 years 9 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
AI
2010
Springer
14 years 5 months ago
2010
Springer
Annotation Enrichment Analysis (AEA) is a widely used analytical approach to process data generated by high-throughput genomic and proteomic experiments such as gene expression mic...