10715 search results - page 1823 / 2143 » From Tests to Proofs |
202
click to vote
ISCI
2010
15 years 5 months ago
2010
We present a framework for modeling the spread of pathogens throughout a population and generating policies that minimize the impact of those pathogens on the population. This fra...
199
click to vote
SIGCSE
2008
ACM
15 years 5 months ago
2008
ACM
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...
203
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
190
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper, we present a novel graph, sub-graph and supergraph based face representation which captures the facial shape changes and deformations caused due to pose ch...
166
click to vote
JAIR
2010
15 years 5 months ago
2010
We provide a series of algorithms demonstrating that solutions according to the fundamental game-theoretic solution concept of closed under rational behavior (CURB) sets in two-pl...