5600 search results - page 390 / 1120 » Synthesizing robust systems |
184
Voted
CODES
2006
IEEE
16 years 25 days ago
2006
IEEE
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...
170
click to vote
FGR
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents a full-body gesture database which contains 2D video data and 3D motion data of 14 normal gestures, 10 abnormal gestures and 30 command gestures for 20 subject...
174
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper describes our new algorithm for shot boundary detection and its evaluation. We adopt a 2-stage data fusion approach with SVM technique to decide whether a boundary exis...
230
click to vote
PLDI
2006
ACM
16 years 22 days ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
162
click to vote
ACSD
2005
IEEE
16 years 12 days ago
2005
IEEE
We introduce and study problems of distributed observation with bounded or unbounded memory. We are given a system modeled as a finite-word language L over some finite alphabet ...