2330 search results - page 265 / 466 » A System for Object Class Detection |
163
click to vote
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
We propose a visual recognition system that is designed for fine-grained visual categorization. The system is composed of a machine and a human user. The user, who is unable to c...
134
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
We introduce a new reliability infrastructure for file systems called I/O shepherding. I/O shepherding allows a file system developer to craft nuanced reliability policies to de...
108
click to vote
ICDCSW
2005
IEEE
15 years 10 months ago
2005
IEEE
Although a self-stabilizing system that suffers from a transient fault is guaranteed to converge to a legitimate state after a finite number of steps, the convergence can be slow ...
157
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
164
click to vote
SIGPRO
2008
15 years 4 months ago
2008
This paper introduces a novel method for real-time estimation of slowly varying parameters in nonlinear dynamical systems. The core concept is built upon the principles of symboli...