1322 search results - page 94 / 265 » Efficient Goal-Directed Exploration |
150
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
128
Voted
ATVA
2004
Springer
15 years 7 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
114
Voted
CODES
2000
IEEE
15 years 7 months ago
2000
IEEE
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
177
click to vote
NAR
2006
15 years 3 months ago
2006
An entire family of methodologies for predicting protein interactions is based on the observed fact that families of interacting proteins tend to have similar phylogenetic trees d...
140
click to vote
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
Reinforcement learning (RL) was originally proposed as a framework to allow agents to learn in an online fashion as they interact with their environment. Existing RL algorithms co...