4629 search results - page 537 / 926 » Space Kernel Analysis |
179
click to vote
IJACTAICIT
2010
15 years 4 months ago
2010
In this paper, we propose SiLo, a novel energy efficient shifted logging storage architecture, for write-oriented workloads. By organizing free storage space of redundant mirrored...
241
click to vote
ATVA
2011
Springer
14 years 7 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
206
click to vote
MM
2005
ACM
16 years 1 months ago
2005
ACM
We consider the problem of image representation and clustering. Traditionally, an n1 × n2 image is represented by a vector in the Euclidean space Rn1×n2 . Some learning algorith...
190
click to vote
ATAL
2003
Springer
16 years 26 days ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
198
click to vote
FLAIRS
2001
15 years 9 months ago
2001
/Background The SOLAR and HELIOSPHERIC OBSERVATORY (SOHO) project [SOHO Web Page] is being carried out by the European Space Agency (ESA) and the US National Aeronautics and Space ...