5550 search results - page 659 / 1110 » Different Approaches to Proof Systems |
175
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
We present a novel stochastic, adaptive strategy for tracking multiple people in a large network of video cameras. Similarities between features (appearance and biometrics) observ...
220
click to vote
VIS
2009
IEEE
16 years 8 months ago
2009
IEEE
In this paper, we present a visualization system for the visual analysis of PET/CT scans of aortic arches of mice. The system has been designed in close collaboration between resea...
284
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Lately the advances in centralized database management systems show a trend towards supporting rank-aware query operators, like top-k, that enable users to retrieve only the most ...
165
click to vote
ICDE
2010
IEEE
16 years 7 months ago
2010
IEEE
In three-tiered web applications, some form of admission control is required to ensure that throughput and response times are not significantly harmed during periods of heavy load....
178
click to vote
ICCD
2001
IEEE
16 years 4 months ago
2001
IEEE
We present tools that support the runtime execution of applications that mix software running on networks of workstations and reconfigurable hardware. We use JHDL to describe the ...