13397 search results - page 2320 / 2680 » From Static Distributed Systems to Dynamic Systems |
194
click to vote
SBMF
2010
Springer
14 years 11 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
283
click to vote
SIGIR
2012
ACM
13 years 7 months ago
2012
ACM
As ever-larger training sets for learning to rank are created, scalability of learning has become increasingly important to achieving continuing improvements in ranking accuracy [...
162
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
Cast shadows produce troublesome effects for video surveillance systems, typically for object tracking from a fixed viewpoint, since it yields appearance variations of objects dep...
136
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
We present a hardware-accelerated method for video-based rendering relying on an approximate model of scene geometry. Our goal is to render high-quality views of the scene from ar...
141
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We propose Recursive Compositional Models (RCMs) for simultaneous multi-view multi-object detection and parsing (e.g. view estimation and determining the positions of the object s...