508 search results - page 32 / 102 » Parallel Modeling of Fish Interaction |
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
JSAC
2008
13 years 7 months ago
2008
In this paper we design a cognitive radio that can coexist with multiple parallel WLAN channels while abiding by an interference constraint. The interaction between both systems is...
CIVR
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a content-based approach for understanding handball videos. Tracked players are characterized by their 2D trajectories in the court plane. The trajectories and...
CCGRID
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper describes the integration of the High Level Architecture (HLA), an IEEE standard for distributed interactive simulation, with a scientific software package (Scilab) and...
TVCG
2010
13 years 7 months ago
2010
—We present a model for building, visualizing, and interacting with multiscale representations of information visualization techniques using hierarchical aggregation. The motivat...