30240 search results - page 5722 / 6048 » Robust System Design |
194
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
261
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
The queue data structure is fundamental and ubiquitous. Lockfree versions of the queue are well known. However, an important open question is whether practical wait-free queues ex...
215
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
A moving region whose location and extend change over time can imply topological changes such as region split and hole formation. To study this phenomenon is useful in many applic...
230
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Cascades are a popular framework to speed up object detection systems. Here we focus on the first layers of a category independent object detection cascade in which we sample a l...
192
click to vote
ACII
2011
Springer
14 years 6 months ago
2011
Springer
Affect plays a vital role in learning. During tutoring, particular affective states may benefit or detract from student learning. A key cognitiveaffective state is confusion, which...