Sciweavers

1322 search results - page 167 / 265
» Parameterized counting problems
Sort
View
TON
2008
239views more  TON 2008»
15 years 3 months ago
Characterization of failures in an operational IP backbone network
Abstract--As the Internet evolves into a ubiquitous communication infrastructure and supports increasingly important services, its dependability in the presence of various failures...
Athina Markopoulou, Gianluca Iannaccone, Supratik ...
COMBINATORICS
2004
102views more  COMBINATORICS 2004»
15 years 3 months ago
Satisfiability and Computing van der Waerden Numbers
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive...
Michael R. Dransfield, Lengning Liu, Victor W. Mar...
175
Voted
IJCV
2010
158views more  IJCV 2010»
15 years 2 months ago
Metric Learning for Image Alignment
Abstract Image alignment has been a long standing problem in computer vision. Parameterized Appearance Models (PAMs) such as the Lucas-Kanade method, Eigentracking, and Active Appe...
Minh Hoai Nguyen, Fernando De la Torre
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
14 years 11 months ago
Closed-loop optimal experiment design: The partial correlation approach
Abstract-- We consider optimal experiment design for parametric prediction error system identification of linear timeinvariant systems in closed loop. The optimisation is performed...
Roland Hildebrand, Michel Gevers, Gabriel Solari
IFIP
2010
Springer
14 years 10 months ago
Combining Software and Hardware LCS for Lightweight On-Chip Learning
In this paper we present a novel two-stage method to realize a lightweight but very capable hardware implementation of a Learning Classifier System for on-chip learning. Learning C...
Andreas Bernauer, Johannes Zeppenfeld, Oliver Brin...