Sciweavers

18090 search results - page 256 / 3618
» Computing by Only Observing
Sort
View
ICCS
2007
Springer
16 years 19 days ago
A Realtime Observatory for Laboratory Simulation of Planetary Circulation
Abstract. We present a physical, laboratory-scale analog of large-scale atmospheric circulation and develop an observatory for it. By combining observations of a hydro-dynamically ...
Sai Ravela, John Marshall, Christopher Hill, Andre...
IWPC
2003
IEEE
15 years 11 months ago
Are Decomposition Slices Clones?
When computing program slices on all variables in a system, we observed that many of these slices are the same. This leads to the question: Are we looking at software clones? We d...
Keith Gallagher, Lucas Layman
ECCV
2006
Springer
15 years 10 months ago
Alias-Free Interpolation
In this paper we study the exact super-resolvability of a scene from a single observation by designing a partial alias-free interpolation scheme. We generate the unknown high freq...
C. V. Jiji, Prakash Neethu, Subhasis Chaudhuri
AI
2007
Springer
16 years 21 days ago
Learning Network Topology from Simple Sensor Data
In this paper, we present an approach for recovering a topological map of the environment using only detection events from a deployed sensor network. Unlike other solutions to this...
Dimitri Marinakis, Philippe Giguère, Gregor...
ICALP
1992
Springer
15 years 10 months ago
What Good Are Digital Clocks?
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
Thomas A. Henzinger, Zohar Manna, Amir Pnueli