2203 search results - page 232 / 441 » Temporal Abstract Interpretation |
145
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Abstract. Monitoring aggregates on IP traffic data streams is a compelling application for data stream management systems. Often, such streaming aggregation queries involve joining...
124
click to vote
EWSN
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. We examine the problem of tracking dynamic boundaries occurring in natural phenomena using range sensors. Two main challenges of the boundary tracking problem are energy-...
132
click to vote
ICCAD
2006
IEEE
16 years 28 days ago
2006
IEEE
Abstract— Chip-package thermal analysis is necessary for the design and synthesis of reliable, high-performance, low-power, compact integrated circuits (ICs). Many methods of IC ...
107
click to vote
MMM
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Attention is a psychological measurement of human reflection against stimulus. We propose a general framework of highlight detection by comparing attention intensity dur...
126
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...