7335 search results - page 1382 / 1467 » Scene Based Reasoning |
126
click to vote
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
117
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
Coarse Grain Reconfigurable Architectures (CGRAs) promise high performance at high power efficiency. They fulfil this promise by keeping the hardware extremely simple, and movi...
132
Voted
MSWIM
2009
ACM
15 years 10 months ago
2009
ACM
In recent years, the number of sensor network deployments for real-life applications has rapidly increased and it is expected to expand even more in the near future. Actually, for...
166
click to vote
VEE
2009
ACM
15 years 10 months ago
2009
ACM
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...
142
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Materialized views (MV) can significantly improve the query performance of relational databases. In this paper, we consider MVs to optimize complex scenarios where many heterogen...