9067 search results - page 707 / 1814 » Adaptive Model Checking |
169
click to vote
ECAL
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. In this paper we explore the similarities between a mathematical model of language evolution and several A-life simulations. We argue that the mathematical model makes so...
170
click to vote
IPL
2002
15 years 7 months ago
2002
We consider two models commonly used in the literature to model adversarial injection of packets into a packet switching network. We establish the relation between these two types...
206
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
We present a system for model-based source separation for use on single channel speech mixtures where the precise source characteristics are not known a priori. The sources are mo...
154
click to vote
INFORMATICALT
2008
15 years 7 months ago
2008
Abstract. In this paper, a new multi-criteria decision-making procedure is presented, which captures preferential information in the form of the threshold model. It is based on the...
153
Voted
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
This position paper shortly describes methods and tools under development to support a model-based reengineering process of user interfaces of legacy applications. This reengineer...