Sciweavers

14078 search results - page 2302 / 2816
» Design and Analysis of Computer Algorithms
Sort
View
SIGGRAPH
1997
ACM
15 years 10 months ago
Recovering high dynamic range radiance maps from photographs
We present a method of recovering high dynamic range radiance maps from photographs taken with conventional imaging equipment. In our method, multiple photographs of the scene are...
Paul E. Debevec, Jitendra Malik
COMPUTER
1999
69views more  COMPUTER 1999»
15 years 6 months ago
Scientific Components Are Coming
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
Paul F. Dubois
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
COCOA
2009
Springer
15 years 11 months ago
On Open Rectangle-of-Influence Drawings of Planar Graphs
: Under water sensor network is an important research direction in computer science. There are many interesting optimization problems regarding its design, routing and applications...
Huaming Zhang, Milind Vaidya
WWW
2005
ACM
16 years 7 months ago
A convenient method for securely managing passwords
Computer users are asked to generate, keep secret, and recall an increasing number of passwords for uses including host accounts, email servers, e-commerce sites, and online finan...
J. Alex Halderman, Brent Waters, Edward W. Felten
« Prev « First page 2302 / 2816 Last » Next »