6299 search results - page 101 / 1260 » Data and Computation Abstractions for Dynamic and Irregular ... |
187
click to vote
TIP
2008
15 years 6 months ago
2008
Abstract--In this paper, we analyze the computational challenges in implementing particle filtering, especially to video sequences. Particle filtering is a technique used for filte...
183
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
169
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
143
click to vote
UIST
2003
ACM
15 years 11 months ago
2003
ACM
This research explores distributed sensing techniques for mobile devices using synchronous gestures. These are patterns of activity, contributed by multiple users (or one user wit...
164
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Rather than painful, manual, static, per-connection optimization of TCP buffer sizes simply to achieve acceptable performance for distributed applications [8, 10], many researcher...