4513 search results - page 301 / 903 » Modeling with a Sense of Purpose |
159
Voted
SOFSEM
2004
Springer
16 years 23 days ago
2004
Springer
In this paper we present a model of versioned web sites which is aimed at building a web site configuration. The web site configuration is a consistent version of the web site an...
188
Voted
CHARME
2003
Springer
16 years 20 days ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
195
Voted
GREC
2003
Springer
16 years 19 days ago
2003
Springer
In this paper, we introduce a system that aims at recognizing chart images using a model-based approach. First of all, basic chart models are designed for four different chart typ...
218
click to vote
LION
2010
Springer
16 years 6 days ago
2010
Springer
We demonstrate a means of knowledge discovery through feature extraction that exploits the search history of an optimization run. We regress a symbolic model ensemble from optimiza...
201
click to vote
CSFW
1998
IEEE
15 years 11 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....