Sciweavers

1569 search results - page 136 / 314
» Automated Design Improvement by Example
Sort
View
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 5 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
142
Voted
ICMLA
2009
15 years 1 months ago
Automatic Feature Selection for Model-Based Reinforcement Learning in Factored MDPs
Abstract--Feature selection is an important challenge in machine learning. Unfortunately, most methods for automating feature selection are designed for supervised learning tasks a...
Mark Kroon, Shimon Whiteson
140
Voted
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
15 years 9 months ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
127
Voted
GIS
1999
ACM
15 years 7 months ago
Spatial Data Integrity Constraints in Object Oriented Geographic Data Modeling
An important activity in the design of a particular database application consists in identifying the integrity constraints that must hold on the database, and that are used to det...
Karla A. V. Borges, Alberto H. F. Laender, Clodove...
121
Voted
ICCBR
2003
Springer
15 years 8 months ago
Case Mining from Large Databases
Abstract. This paper presents an approach of case mining to automatically discover case bases from large datasets in order to improve both the speed and the quality of case based r...
Qiang Yang, Hong Cheng