Sciweavers

4440 search results - page 645 / 888
» The space of design
Sort
View
SIAMADS
2010
92views more  SIAMADS 2010»
15 years 1 months ago
Weak Stability Boundary and Invariant Manifolds
The concept of weak stability boundary has been successfully used in the design of several fuel efficient space missions. In this paper we give a rigorous definition of the weak st...
Edward Belbruno, Marian Gidea, Francesco Topputo
169
Voted
CICLING
2001
Springer
15 years 11 months ago
Spatio-temporal Indexing in Database Semantics
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
Roland Hausser
IJCV
2007
207views more  IJCV 2007»
15 years 6 months ago
Computer Vision on Mars
Increasing the level of spacecraft autonomy is essential for broadening the reach of solar system exploration. Computer vision has and will continue to play an important role in in...
Larry Matthies, Mark W. Maimone, Andrew Edie Johns...
JELIA
2004
Springer
16 years 3 days ago
Reasoning About Quantum Systems
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
Paulo Mateus, Amílcar Sernadas
OPODIS
2007
15 years 8 months ago
Peer to Peer Multidimensional Overlays: Approximating Complex Structures
Peer to peer overlay networks have proven to be a good support for storing and retrieving data in a fully decentralized way. A sound approach is to structure them in such a way tha...
Olivier Beaumont, Anne-Marie Kermarrec, Etienne Ri...