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...
In this paper, we propose a general survivability quantification framework which is applicable to a wide range of system architectures, applications, failure/recovery behaviors, ...
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...
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...
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...