Sciweavers

4930 search results - page 299 / 986
» Learning minimal abstractions
Sort
View
JMLR
2010
162views more  JMLR 2010»
15 years 1 months ago
A Surrogate Modeling and Adaptive Sampling Toolbox for Computer Based Design
An exceedingly large number of scientific and engineering fields are confronted with the need for computer simulations to study complex, real world phenomena or solve challenging ...
Dirk Gorissen, Ivo Couckuyt, Piet Demeester, Tom D...
AIMSA
2006
Springer
15 years 10 months ago
A Formal General Setting for Dialogue Protocols
Abstract. In this paper, we propose a general and abstract formal setting for argumentative dialogue protocols. We identify a minimal set of basic parameters that characterize dial...
Leila Amgoud, Sihem Belabbes, Henri Prade
CHARME
2005
Springer
145views Hardware» more  CHARME 2005»
15 years 8 months ago
Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
Jason Baumgartner, Hari Mony
162
Voted
ECCV
2006
Springer
16 years 8 months ago
Spatio-temporal Embedding for Statistical Face Recognition from Video
Abstract. This paper addresses the problem of how to learn an appropriate feature representation from video to benefit video-based face recognition. By simultaneously exploiting th...
Wei Liu, Zhifeng Li, Xiaoou Tang
ACML
2009
Springer
16 years 1 months ago
Automatic Choice of Control Measurements
Abstract. In experimental design, a standard approach for distinguishing experimentally induced effects from unwanted effects is to design control measurements that differ only ...
Gayle Leen, David R. Hardoon, Samuel Kaski