15073 search results - page 2518 / 3015 » Probabilistic algorithms for computing resultants |
163
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Recently, there has been an increasing number of depth cameras available at commodity prices. These cameras can usually capture both color and depth images in real-time, ...
189
Voted
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
174
Voted
CONTEXT
2001
Springer
15 years 11 months ago
2001
Springer
A recent report by the National Research Council (NRC) declares neural networks “hold the most promise for providing powerful learning models”. While some researchers have expe...
142
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
Recent advances in scanning technologies, in particular devices that extract depth through active sensing, allow fast scanning of urban scenes. Such rapid acquisition incurs imper...
166
click to vote
DCC
2000
IEEE
15 years 11 months ago
2000
IEEE
The goal of source controlled channel decoding is to improve the performance of the channel decoder by using the residual redundancy of the source encoded data. The original appro...