Sciweavers

2351 search results - page 328 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
TCOM
2010
111views more  TCOM 2010»
14 years 8 months ago
Design of irregular LDPC codes with optimized performance-complexity tradeoff
—The optimal performance-complexity tradeoff for error-correcting codes at rates strictly below the Shannon limit is a central question in coding theory. This paper proposes a nu...
Benjamin Smith, Masoud Ardakani, Wei Yu, Frank R. ...
PKDD
2010
Springer
179views Data Mining» more  PKDD 2010»
14 years 8 months ago
Gaussian Processes for Sample Efficient Reinforcement Learning with RMAX-Like Exploration
Abstract. We present an implementation of model-based online reinforcement learning (RL) for continuous domains with deterministic transitions that is specifically designed to achi...
Tobias Jung, Peter Stone
ICST
2009
IEEE
14 years 7 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
IGARSS
2009
14 years 7 months ago
Active Learning of Hyperspectral Data with Spatially Dependent Label Acquisition Costs
Supervised learners can be used to automatically classify many types of spatially distributed data. For example, land cover classification by hyperspectral image data analysis is ...
Alexander Liu, Goo Jun, Joydeep Ghosh
CCR
2011
14 years 5 months ago
Instrumenting home networks
In managing and troubleshooting home networks, one of the challenges is in knowing what is actually happening. Availability of a record of events that occurred on the home network...
Kenneth L. Calvert, W. Keith Edwards, Nick Feamste...