Sciweavers

2183 search results - page 296 / 437
» On Combining Dissimilarity Representations
Sort
View
129
Voted
ICPR
2000
IEEE
16 years 7 months ago
Simultaneous Highlighting of Paper and Electronic Documents
The ability to automatically record the marks applied to paper documents on their electronic originals would preserve the information represented by those annotations. Users could...
Jonathan J. Hull, Dar-Shyang Lee
GIS
2007
ACM
16 years 7 months ago
An interactive framework for raster data spatial joins
Many Geographic Information System (GIS) applications must handle large geospatial datasets stored in raster representation. Spatial joins over raster data are important queries i...
Wan D. Bae, Petr Vojtechovský, Shayma Alkob...
DAC
2008
ACM
16 years 7 months ago
Automatic synthesis of clock gating logic with controlled netlist perturbation
Clock gating is the insertion of combinational logic along the clock path to prevent the unnecessary switching of registers and reduce dynamic power consumption. The conditions un...
Aaron P. Hurst
DAC
2003
ACM
16 years 7 months ago
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Br...
MICCAI
2005
Springer
16 years 7 months ago
A Method to Evaluate Human Spatial Coordination Interfaces for Computer-Assisted Surgery
Computer assistance for breast conserving surgery requires a guidance method to assist a surgeon in locating tumor margin accurately. A wide array of guidance methods can be consid...
Michel-Alexandre Cardin, Jian-Xiong Wang, Donald B...