11151 search results - page 392 / 2231 » On the Complexity of Model Expansion |
240
click to vote
FOSSACS
2011
Springer
14 years 11 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
179
click to vote
COMPLEX
2009
Springer
16 years 2 months ago
2009
Springer
This paper presents a stochastic multi-agent model of stock market. The market dynamics include switches between chartists and fundamentalists and switches in the prevailing opinio...
225
click to vote
CLUSTER
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—Using MPI as communication interface, one or several applications may introduce complex communication behaviors over the network cluster. This effect is increased when n...
205
click to vote
VLSM
2005
Springer
16 years 1 months ago
2005
Springer
Current state-of-the-art methods in variational image segmentation using level set methods are able to robustly segment complex textured images in an unsupervised manner. In recent...
225
click to vote
SAG
2004
Springer
16 years 29 days ago
2004
Springer
Bioinformatics applications manage complex biological data stored into distributed and often heterogeneous databases and require large computing power. Among these, protein structu...