Sciweavers

3637 search results - page 12 / 728
» On Dynamic Bit-Probe Complexity
Sort
View
CEC
2009
IEEE
13 years 5 months ago
Optimisation of the Beer Distribution Game with complex customer demand patterns
This paper examines a simulation of the Beer Distribution Game and a number of optimisation approaches to this game. This well known game was developed at MIT in the 1960s and has ...
Hongliang Liu, Enda Howley, Jim Duggan
TMI
2010
113views more  TMI 2010»
13 years 6 months ago
Multiscale Model of Liver DCE-MRI Towards a Better Understanding of Tumor Complexity
Abstract—The use of quantitative imaging for the characterization of hepatic tumors in MRI can improve the diagnosis and therefore the treatment of these life-threatening tumors....
Muriel Mescam, Marek Kretowski, Johanne Béz...
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
13 years 6 months ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
SEKE
2010
Springer
13 years 6 months ago
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
Thomas Moser, Gregor Dürr, Stefan Biffl
CVPR
2012
IEEE
11 years 10 months ago
Learning latent temporal structure for complex event detection
In this paper, we tackle the problem of understanding the temporal structure of complex events in highly varying videos obtained from the Internet. Towards this goal, we utilize a...
Kevin Tang, Fei-Fei Li, Daphne Koller