Sciweavers

8719 search results - page 1682 / 1744
» A Categorical Approach to Simulations
Sort
View
COLT
1995
Springer
15 years 1 months ago
Regression NSS: An Alternative to Cross Validation
The Noise Sensitivity Signature (NSS), originally introduced by Grossman and Lapedes (1993), was proposed as an alternative to cross validation for selecting network complexity. I...
Michael P. Perrone, Brian S. Blais
PLDI
1995
ACM
15 years 1 months ago
Unifying Data and Control Transformations for Distributed Shared Memory Machines
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
Michal Cierniak, Wei Li
DAC
2010
ACM
15 years 1 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
CDC
2009
IEEE
170views Control Systems» more  CDC 2009»
15 years 1 months ago
Integrated direct/indirect adaptive robust control of a class of nonlinear systems preceded by unknown dead-zone nonlinearity
— This paper presents an integrated direct/indirect adaptive robust control (DIARC) scheme for a class of nonlinear systems preceded by unknown non-symmetric, non-equal slope dea...
Chuxiong Hu, Bin Yao, Qingfeng Wang
AAAI
2007
15 years 4 days ago
Hybrid Inference for Sensor Network Localization Using a Mobile Robot
In this paper, we consider a hybrid solution to the sensor network position inference problem, which combines a real-time filtering system with information from a more expensive,...
Dimitri Marinakis, David Meger, Ioannis M. Rekleit...
« Prev « First page 1682 / 1744 Last » Next »