Sciweavers

5810 search results - page 320 / 1162
» An Approach to Programming Based on Concepts
Sort
View
DATE
2010
IEEE
151views Hardware» more  DATE 2010»
15 years 11 months ago
A GPU based implementation of Center-Surround Distribution Distance for feature extraction and matching
The release of general purpose GPU programming environments has garnered universal access to computing performance that was once only available to super-computers. The availability...
Aditi Rathi, Michael DeBole, Weina Ge, Robert T. C...
ISSTA
2010
ACM
15 years 10 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder
VLDB
1992
ACM
98views Database» more  VLDB 1992»
15 years 10 months ago
Updates in a Rule-Based Language for Objects
The integration of object-oriented concepts into deductive databases has been investigated for a certain time now. Various approaches to incorporate updates into deduction have be...
Michael Kramer, Georg Lausen, Gunter Saake
ICTAI
2007
IEEE
16 years 27 days ago
Ontology-Based Object Recognition for Remote Sensing Image Interpretation
The multiplication of Very High Resolution (spatial or spectral) remote sensing images appears to be an opportunity to identify objects in urban and periurban areas. The classifi...
Nicolas Durand, Sébastien Derivaux, Germain...
CIKM
2001
Springer
15 years 11 months ago
Automatic Query Expansion Based on Divergence
In this paper we are mainly concerned with discussion of a formal model, based on the basic concept of divergence from information theory, for automatic query expansion. The basic...
D. Cai, C. J. van Rijsbergen, Joemon M. Jose