Sciweavers

615 search results - page 61 / 123
» A General, Abstract Model of Incremental Dialogue Processing
Sort
View
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
15 years 4 months ago
Model reduction for a class of input-quantized systems in the max-plus algebra
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ...
Whitney Weyerman, Sean Warnick
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
15 years 4 months ago
EcoPS: a particle swarm algorithm to model group-foraging
Recent work has introduced a simulation model of ecological processes in terms of a very simple Particle Swarm algorithm. This abstract model produced qualitatively realistic beha...
Cecilia Di Chio, Riccardo Poli, Paolo Di Chio
DEXA
2003
Springer
117views Database» more  DEXA 2003»
15 years 3 months ago
A Toolkit and Methodology to Support the Collaborative Development and Reuse of Engineering Models
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
Zdenek Zdráhal, Paul Mulholland, Michael Va...
IPMI
2005
Springer
15 years 10 months ago
Bayesian Population Modeling of Effective Connectivity
Abstract. A hierarchical model based on the Multivariate Autoregessive (MAR) process is proposed to jointly model neurological time-series collected from multiple subjects, and to ...
Eric R. Cosman Jr., William M. Wells III
TACAS
2009
Springer
106views Algorithms» more  TACAS 2009»
15 years 4 months ago
Hierarchical Set Decision Diagrams and Regular Models
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Ham...