Sciweavers

1992 search results - page 278 / 399
» On the (limited) power of non-equivocation
Sort
View
128
Voted
NDDL
2003
15 years 3 months ago
High-Level Data Races
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
Cyrille Artho, Klaus Havelund, Armin Biere
PICS
2003
15 years 3 months ago
Efficient Mobile Imaging Using Emphasis Image Selection
Mobile imaging helps realize "any time, anywhere" visual communication by allowing consumers to capture, review, share, and print pictures via mobile devices while "...
Jiebo Luo, Amit Singhal, Andreas E. Savakis
FOGA
1994
15 years 3 months ago
The Schema Theorem and Price's Theorem
Holland's Schema Theorem is widely taken to be the foundation for explanations of the power of genetic algorithms (GAs). Yet some dissent has been expressed as to its implica...
Lee Altenberg
UAI
1994
15 years 3 months ago
Generating New Beliefs from Old
In previous work [BGHK92, BGHK93], we have studied the random-worlds approach--a particular (and quite powerful) method for generating degrees of belief (i.e., subjective probabil...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
134
Voted
WCE
2007
15 years 3 months ago
A Comparative Analysis of Image Fusion Techniques for Remote Sensed Images
—This paper deals with different techniques for registration and fusion of remote sensed images. In this work the lower spatial resolution multispectral and higher resolution pan...
Asha Das, K. Revathy