10038 search results - page 1929 / 2008 » Model Checking for Managers |
145
click to vote
CIVR
2010
Springer
14 years 10 months ago
2010
Springer
In many applications, we find large video collections from different genres where the user is often only interested in one or two specific video genres. So, when users are queryin...
128
Voted
WAOA
2010
Springer
14 years 10 months ago
2010
Springer
The past few years have witnessed a number of interesting online algorithms for deadline scheduling in the dynamic speed scaling model (in which a processor can vary its speed to ...
114
click to vote
FAST
2009
14 years 10 months ago
2009
HYDRAstor is a scalable, secondary storage solution aimed at the enterprise market. The system consists of a back-end architectured as a grid of storage nodes built around a distr...
124
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: Caenorhabditis elegans gene-based phenotype information dates back to the 1970’s, beginning with Sydney Brenner and the characterization of behavioral and morphologi...
107
click to vote
IJRR
2011
14 years 7 months ago
2011
We discuss vision as a sensory modality for systems that effect actions in response to perceptions. While the internal representations informed by vision may be arbitrarily compl...