Sciweavers

2162 search results - page 235 / 433
» Automated Reasoning on Feature Models
Sort
View
KDD
2002
ACM
194views Data Mining» more  KDD 2002»
16 years 5 months ago
Scale Space Exploration For Mining Image Information Content
Images are highly complex multidimensional signals, with rich and complicated information content. For this reason they are difficult to analyze through a unique automated approach...
Mariana Ciucu, Patrick Héas, Mihai Datcu, J...
137
Voted
GIS
2009
ACM
15 years 9 months ago
Data structures and intersection algorithms for 3D spatial data types
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...
Tao Chen, Markus Schneider
DBSEC
2008
188views Database» more  DBSEC 2008»
15 years 6 months ago
On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...
Manachai Toahchoodee, Indrakshi Ray
DAC
1998
ACM
16 years 6 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
GIS
2007
ACM
16 years 6 months ago
Comparing global and interest point descriptors for similarity retrieval in remote sensed imagery
We investigate the application of a new category of low-level image descriptors termed interest points to remote sensed image analysis. In particular, we compare how scale and rot...
Shawn Newsam, Yang Yang