Sciweavers

3984 search results - page 468 / 797
» A Model-Driven Transformation Method
Sort
View
ICST
2009
IEEE
15 years 4 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...
CJ
2010
150views more  CJ 2010»
15 years 4 months ago
Program Analysis Probably Counts
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
3DOR
2010
15 years 1 months ago
A Robust 3D Interest Points Detector Based on Harris Operator
With the increasing amount of 3D data and the ability of capture devices to produce low-cost multimedia data, the capability to select relevant information has become an interesti...
Ivan Sipiran, Benjamin Bustos
JMLR
2010
125views more  JMLR 2010»
15 years 1 months ago
On utility of gene set signatures in gene expression-based cancer class prediction
Machine learning methods that can use additional knowledge in their inference process are central to the development of integrative bioinformatics. Inclusion of background knowled...
Minca Mramor, Marko Toplak, Gregor Leban, Tomaz Cu...
ML
2010
ACM
138views Machine Learning» more  ML 2010»
15 years 1 months ago
Mining adversarial patterns via regularized loss minimization
Traditional classification methods assume that the training and the test data arise from the same underlying distribution. However, in several adversarial settings, the test set is...
Wei Liu, Sanjay Chawla