Sciweavers

3358 search results - page 331 / 672
» Parametric Aspects: A Proposal
Sort
View
MABS
2004
Springer
16 years 5 days ago
Agent-Based Modelling of Forces in Crowds
Recent events have highlighted the importance of good models of crowds, however many existing crowd models are either computationally inefficient, or are missing a crucial human be...
Colin Marc Henein, Tony White
MMB
2004
Springer
124views Communications» more  MMB 2004»
16 years 5 days ago
A General Framework for Network Survivability Quantification
In this paper, we propose a general survivability quantification framework which is applicable to a wide range of system architectures, applications, failure/recovery behaviors, ...
Yun Liu, Kishor S. Trivedi
SAT
2004
Springer
97views Hardware» more  SAT 2004»
16 years 5 days ago
Incremental Compilation-to-SAT Procedures
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
Marco Benedetti, Sara Bernardini
WEA
2004
Springer
120views Algorithms» more  WEA 2004»
16 years 5 days ago
An Improved Time-Sensitive Metaheuristic Framework for Combinatorial Optimization
We introduce a metaheuristic framework for combinatorial optimization. Our framework is similar to others (e.g. [1]) in that it is modular enough that important components can be i...
Vinhthuy T. Phan, Steven Skiena
WEBI
2004
Springer
16 years 5 days ago
An Ontology-based Approach to Retrieve Digitized Art Images
Although much progress has been made, current lowlevel based visual information retrieval technology does not allow users to formulate queries through high-level semantics. More a...
Shuqiang Jiang, Tiejun Huang, Wen Gao