Sciweavers

300 search results - page 26 / 60
» Using probabilistic reasoning to automate software tuning
Sort
View
110
Voted
IWSAS
2001
Springer
15 years 4 months ago
Adaptive Agent Based System for State Estimation Using Dynamic Multidimensional Information Sources
: This paper describes a new approach for the creation of an adaptive system able to selectively combine dynamic multidimensional information sources to perform state estimation. T...
Alvaro Soto, Pradeep K. Khosla
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 4 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
ILP
2005
Springer
15 years 6 months ago
A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
Héctor Corrada Bravo, David Page, Raghu Ram...
GPEM
2011
14 years 7 months ago
Expert-driven genetic algorithms for simulating evaluation functions
In this paper we demonstrate how genetic algorithms can be used to reverse engineer an evaluation function’s parameters for computer chess. Our results show that using an appropr...
Omid David-Tabibi, Moshe Koppel, Nathan S. Netanya...
79
Voted
ICSE
2003
IEEE-ACM
16 years 17 days ago
Eliciting Architectural Decisions from Requirements using a Rule-based Framework
Making architectural decisions based on requirements, analyzing cost-benefit trade-offs, and keeping design options open is a difficult task. Existing work on classification of ar...
WenQian Liu, Steve M. Easterbrook