11168 search results - page 1501 / 2234 » Abstract State Processes |
181
click to vote
EWSN
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. So-called "Smart Dust" is envisioned to combine sensing, computing, and wireless communication capabilities in an autonomous, dust-grain-sized device. Dense net...
134
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
149
click to vote
WISE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Under Social Tagging Systems, a typical Web 2.0 application, users label digital data sources by using freely chosen textual descriptions (tags). Mining tag information r...
187
click to vote
ICPR
2010
IEEE
16 years 2 months ago
2010
IEEE
This paper is concerned with accuracy estimation of point trajectories in video sequences without ground truth information. This is an essential problem for many computer vision a...
237
click to vote
ISPASS
2010
IEEE
16 years 1 months ago
2010
IEEE
—Graphics processors (GPU) offer the promise of more than an order of magnitude speedup over conventional processors for certain non-graphics computations. Because the ften prese...