Sciweavers

4298 search results - page 82 / 860
» Computing at the top of the world
Sort
View
DSL
1997
15 years 16 days ago
Service Combinators for Web Computing
The World-Wide Web is rich in content and services, but access to these resources must be obtained mostly through manual browsers. We would like to be able to write programs that ...
Luca Cardelli, Rowan Davies
BIRTHDAY
2007
Springer
15 years 3 months ago
Deriving Specifications for Systems That Are Connected to the Physical World
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
PG
2003
IEEE
15 years 4 months ago
Interactive Visualization of Complex Real-World Light Sources
Interactive visualization of complex, real-world light sources has so far not been feasible. In this paper, we present an hardware accelerated direct lighting algorithm based on a...
Xavier Granier, Michael Goesele, Wolfgang Heidrich...
ICCV
2007
IEEE
16 years 1 months ago
Webcam Synopsis: Peeking Around the World
The world is covered with millions of webcams. Some are private, but many transmit everything in their field of view over the internet 24 hours a day. A web search finds public we...
Yael Pritch, Alex Rav-Acha, Avital Gutman, Shmuel ...
ECCV
2008
Springer
16 years 1 months ago
Calibration from Statistical Properties of the Visual World
What does a blind entity need in order to determine the geometry of the set of photocells that it carries through a changing lightfield? In this paper, we show that very crude know...
Etienne Grossmann, José António Gasp...