Sciweavers

10874 search results - page 239 / 2175
» An Improvement in Sugeno-Yasukawa Modeler
Sort
View
GECCO
2005
Springer
16 years 5 days ago
Interactive estimation of agent-based financial markets models: modularity and learning
Building upon the interactive inversion method introduced by Ashburn and Bonabeau (2004), we show how to dramatically improve the results by exploiting modularity and by letting t...
M. Ihsan Ecemis, Eric Bonabeau, Trent Ashburn
ICAPR
2005
Springer
16 years 5 days ago
Discovering Predictive Variables When Evolving Cognitive Models
A non-dominated sorting genetic algorithm is used to evolve models of learning from different theories for multiple tasks. Correlation analysis is performed to identify parameters...
Peter C. R. Lane, Fernand Gobet
FORMATS
2004
Springer
16 years 1 days ago
Symbolic Model Checking for Simply-Timed Systems
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
Nicolas Markey, Ph. Schnoebelen
ECCV
2010
Springer
15 years 11 months ago
Learning What and How of Contextual Models for Scene Labeling
We present a data-driven approach to predict the importance of edges and construct a Markov network for image analysis based on statistical models of global and local image feature...
ASPDAC
2010
ACM
137views Hardware» more  ASPDAC 2010»
15 years 4 months ago
Managing verification error traces with bounded model debugging
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
Sean Safarpour, Andreas G. Veneris, Farid N. Najm