Sciweavers

1798 search results - page 310 / 360
» Generating presentation constraints from rhetorical structur...
Sort
View
ICCAD
2009
IEEE
147views Hardware» more  ICCAD 2009»
15 years 4 months ago
SAT-based protein design
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...
Noah Ollikainen, Ellen Sentovich, Carlos Coelho, A...
ICDE
2010
IEEE
263views Database» more  ICDE 2010»
16 years 6 months ago
Managing Uncertainty of XML Schema Matching
Abstract-- Despite of advances in machine learning technologies, a schema matching result between two database schemas (e.g., those derived from COMA++) is likely to be imprecise. ...
Reynold Cheng, Jian Gong, David W. Cheung
CRV
2009
IEEE
184views Robotics» more  CRV 2009»
16 years 1 months ago
IceSynth: An Image Synthesis System for Sea-Ice Segmentation Evaluation
An ongoing challenge in automatic sea-ice monitoring using synthetic aperture radar (SAR) is the automatic segmentation of SAR sea-ice images based on the underlying ice type. Giv...
Alexander Wong, Wen Zhang, David A. Clausi
GIS
2007
ACM
16 years 12 days ago
Cell-based generalization of 3D building groups with outlier management
In this paper, we present a technique that generalizes 3D building groups of virtual 3D city models according to a cell structure that is derived from infrastructure networks. In ...
Tassilo Glander, Jürgen Döllner
ENTCS
2002
166views more  ENTCS 2002»
15 years 6 months ago
Translation and Run-Time Validation of Optimized Code
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...