Sciweavers

6020 search results - page 538 / 1204
» A New Approach to Model Counting
Sort
View
GECCO
2007
Springer
155views Optimization» more  GECCO 2007»
16 years 1 months ago
Solving the MAXSAT problem using a multivariate EDA based on Markov networks
Markov Networks (also known as Markov Random Fields) have been proposed as a new approach to probabilistic modelling in Estimation of Distribution Algorithms (EDAs). An EDA employ...
Alexander E. I. Brownlee, John A. W. McCall, Deryc...
DAGM
2010
Springer
15 years 8 months ago
Geometrically Constrained Level Set Tracking for Automotive Applications
We propose a new approach for integrating geometric scene knowledge into a level-set tracking framework. Our approach is based on a novel constrained-homography transformation mode...
Esther Horbert, Dennis Mitzel, Bastian Leibe
TOPNOC
2008
15 years 7 months ago
Translating Message Sequence Charts to other Process Languages Using Process Mining
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
Kristian Bisgaard Lassen, Boudewijn F. van Dongen
MODELS
2010
Springer
15 years 5 months ago
Inferring Meta-models for Runtime System Data from the Clients of Management APIs
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...
Hui Song, Gang Huang, Yingfei Xiong, Franck Chauve...
FIMH
2005
Springer
16 years 19 days ago
Dissipation of Excitation Fronts as a Mechanism of Conduction Block in Re-entrant Waves
Numerical simulations of re-entrant waves in detailed ionic models reveal a phenomenon that is impossible in traditional simplified mathematical models of FitzHugh-Nagumo type: di...
Vadim N. Biktashev, Irina V. Biktasheva