Sciweavers

10054 search results - page 1743 / 2011
» On the Complexity of Function Learning
Sort
View
AUTONOMICS
2008
ACM
15 years 6 months ago
Autonomic management via dynamic combinations of reusable strategies
Autonomic Management capabilities become increasingly important for attaining functional and quality goals in software systems. Nonetheless, successful Autonomic Management soluti...
Ada Diaconescu, Yoann Maurel, Philippe Lalanda
ITP
2010
230views Mathematics» more  ITP 2010»
15 years 6 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar
ITP
2010
178views Mathematics» more  ITP 2010»
15 years 6 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
114
Voted
ASPDAC
2005
ACM
103views Hardware» more  ASPDAC 2005»
15 years 6 months ago
MAIA: a framework for networks on chip generation and verification
- The increasing complexity of SoCs makes networks on chip (NoC) a promising substitute for busses and dedicated wires interconnection schemes. However, new tools need to be develo...
Luciano Ost, Aline Mello, José Palma, Ferna...
CCGRID
2005
IEEE
15 years 6 months ago
A semantic grid-based data access and integration service for bioinformatics
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...
Giovanni Aloisio, Massimo Cafaro, Italo Epicoco, S...
« Prev « First page 1743 / 2011 Last » Next »