Sciweavers

498 search results - page 52 / 100
» Model Validation using Automatically Generated Requirements-...
Sort
View
KDD
2004
ACM
181views Data Mining» more  KDD 2004»
14 years 8 months ago
Column-generation boosting methods for mixture of kernels
We devise a boosting approach to classification and regression based on column generation using a mixture of kernels. Traditional kernel methods construct models based on a single...
Jinbo Bi, Tong Zhang, Kristin P. Bennett
TITS
2008
116views more  TITS 2008»
13 years 7 months ago
Genetic Programming for the Automatic Design of Controllers for a Surface Ship
Abstract--In this paper, the implementation of genetic programming (GP) to design a controller structure is assessed. GP is used to evolve control strategies that, given the curren...
Eva Alfaro-Cid, Euan William McGookin, David James...
SIGSOFT
2000
ACM
14 years 6 hour ago
Automated systematic testing for constraint-based interactive services
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, ...
ECIS
2003
13 years 9 months ago
Habit in the context of IS continuance: theory extension and scale development
Defining “IS habit” as the extent to which using a particular IS has become automatic in response to certain situations, we developed a reliable and validated scale to measure...
Moez Limayem, Sabine Gabriele Hirt, Christy M. K. ...
ECMDAFA
2008
Springer
166views Hardware» more  ECMDAFA 2008»
13 years 9 months ago
Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
Manuel Bork, Leif Geiger, Christian Schneider, Alb...