Sciweavers

11151 search results - page 49 / 2231
» On the Complexity of Model Expansion
Sort
View
ICCAD
2004
IEEE
120views Hardware» more  ICCAD 2004»
14 years 6 months ago
A stochastic integral equation method for modeling the rough surface effect on interconnect capacitance
In this paper we describe a stochastic integral equation method for computing the mean value and the variance of capacitance of interconnects with random surface roughness. An ens...
Zhenhai Zhu, Jacob White, Alper Demir
FAW
2008
Springer
111views Algorithms» more  FAW 2008»
13 years 11 months ago
Efficient First-Order Model-Checking Using Short Labels
We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, whic...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...
ICML
2008
IEEE
14 years 10 months ago
On multi-view active learning and the combination with semi-supervised learning
Multi-view learning has become a hot topic during the past few years. In this paper, we first characterize the sample complexity of multi-view active learning. Under the expansion...
Wei Wang, Zhi-Hua Zhou
JSYML
2010
120views more  JSYML 2010»
13 years 4 months ago
First order properties on nowhere dense structures
A set A of vertices of a graph G is called d-scattered in G if no two d-neighborhoods of (distinct) vertices of A intersect. In other words, A is d-scattered if no two distinct ver...
Jaroslav Nesetril, Patrice Ossona de Mendez
BMCBI
2005
118views more  BMCBI 2005»
13 years 9 months ago
Vestige: Maximum likelihood phylogenetic footprinting
Background: Phylogenetic footprinting is the identification of functional regions of DNA by their evolutionary conservation. This is achieved by comparing orthologous regions from...
Matthew J. Wakefield, Peter Maxwell, Gavin A. Hutt...