1036 search results - page 46 / 208 » The case for a location metasystem |
207
click to vote
CNSM
2010
15 years 1 months ago
2010
This paper describes an approach for designing a power management plan that matches the supply of power with the demand for power in data centers. Power may come from the grid, fro...
193
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
Selective attention in the human visual system is performed as the way that humans focus on the most important parts when observing a visual scene. Many bottom-up computational mo...
254
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We formulate a model for multi-class object detection in a multi-camera environment. From our knowledge, this is the first time that this problem is addressed taken into account ...
360
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
182
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...