Sciweavers

386 search results - page 33 / 78
» ideas 2000
Sort
View
SAS
2000
Springer
124views Formal Methods» more  SAS 2000»
13 years 11 months ago
Code Specialization Based on Value Profiles
Abstract. It is often the case at runtime that variables and registers in programs are "quasi-invariant," i.e., the distribution of the values they take on is very skewed...
Robert Muth, Scott A. Watterson, Saumya K. Debray
TABLEAUX
2000
Springer
13 years 11 months ago
Modality and Databases
Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a n...
Melvin Fitting
VISUAL
2000
Springer
13 years 11 months ago
Chinese Cursive Script Character Image Retrieval Based on an Integrated Probability Function
Abstract. Often in content-based image retrieval, a single image attribute may not have enough discriminative information for retrieval. On the other hand, when multiple features a...
Irwin King, Zhong Jin, David Yuk-Ming Chan
CMS
2003
101views Communications» more  CMS 2003»
13 years 9 months ago
Watermark Security via Secret Wavelet Packet Subband Structures
Abstract. Wavelet packet decompositions generalize the classical pyramidal wavelet structure. We use the vast amount of possible wavelet packet decomposition structures to create a...
Werner Dietl, Andreas Uhl
AAAI
2000
13 years 9 months ago
Structure, Duality, and Randomization: Common Themes in AI and OR
Both the Artificial Intelligence (AI) community and the Operations Research (OR) community are interested in developing techniques for solving hard combinatorial problems. OR has ...
Carla P. Gomes