9405 search results - page 1405 / 1881 » Computing a Model of Set Theory |
180
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial quest...
157
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper we examine the feasibility of running message passing applications across clouds. Our on-going Unibus project aims to provide a flexible approach to provisioning and ...
185
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
Many tracking methods face a fundamental dilemma in practice: tracking has to be computationally efficient but verifying if or not the tracker is following the true target tends t...
174
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Ever more scientists are employing large-scale distributed systems such as grids for their computational work, instead of tightly coupled high-performance computing systems. Howev...
191
click to vote
ICDM
2006
IEEE
16 years 29 days ago
2006
IEEE
Kernel methods have been shown to be very effective for applications requiring the modeling of structured objects. However kernels for structures usually are too computational dem...