396 search results - page 67 / 80 » Combining decision procedures for the reals |
108
click to vote
CVPR
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper proposes a novel method for matching road vehicles between two non-overlapping cameras. The matching problem is formulated as a same-different classification problem: p...
190
click to vote
GIS
2007
ACM
16 years 2 months ago
2007
ACM
Many Geographic Information System (GIS) applications must handle large geospatial datasets stored in raster representation. Spatial joins over raster data are important queries i...
110
click to vote
KDD
2007
ACM
16 years 1 months ago
2007
ACM
Typical approaches to multi-label classification problem require learning an independent classifier for every label from all the examples and features. This can become a computati...
106
click to vote
SIGMOD
2003
ACM
16 years 1 months ago
2003
ACM
Finding patterns in large, real, spatio/temporal data continues to attract high interest (e.g., sales of products over space and time, patterns in mobile phone users; sensor netwo...
115
click to vote
CCGRID
2008
IEEE
15 years 8 months ago
2008
IEEE
—Large scale production grids are a major case for autonomic computing. Following the classical definition of Kephart, an autonomic computing system should optimize its own beha...