1508 search results - page 154 / 302 » A Toolbox of Level Set Methods |
122
Voted
HYBRID
1994
Springer
15 years 7 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
110
Voted
IJBRA
2007
15 years 3 months ago
2007
Abstract: High-throughput array-based assays have recently been developed to detect DNA copy number (DCN) aberrations. The DCN data from these arrays is characterized by high level...
112
Voted
TITB
2008
15 years 3 months ago
2008
High throughput genome-wide RNAi screening is emerging as an essential tool to assist biologists in understanding complex cellular processes. The large number of images produced in...
157
Voted
AAAI
2012
13 years 6 months ago
2012
Markov decision processes (MDPs) are an established framework for solving sequential decision-making problems under uncertainty. In this work, we propose a new method for batchmod...
119
Voted
AVSS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a generalized extensible framework for automated recognition of swarming activities in video sequences. The trajectory of each individual is produced by the visual trac...