5550 search results - page 75 / 1110 » Different Approaches to Proof Systems |
166
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We propose a multiple classifier system approach to object recognition in computer vision. The aim of the approach is to use multiple experts successively to prune the list of cand...
171
click to vote
WOA
2003
15 years 7 months ago
2003
— We adopt a form of group communication, called channeled multicast, for active rooms and other scenarios featuring strict real-time requirements, inherently unreliable communic...
167
click to vote
COMPSEC
2006
15 years 6 months ago
2006
To address national needs for computer security education, many universities have incorporated computer and security courses into their undergraduate and graduate curricula. In th...
166
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we show the optimality of a certain class of disturbance-affine control policies in the context of one-dimensional, constrained, multi-stage robust optimization. Ou...
154
click to vote
PE
2010
Springer
15 years 28 days ago
2010
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of cap...