5086 search results - page 670 / 1018 » The Power of Comparative Reasoning |
202
click to vote
PCM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Due to its great ability of conquering clutters, which is especially useful for high-dimensional tracking problems, particle filter becomes popular in the visual trackin...
167
click to vote
PDCAT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper proposes a simplified simultaneous multithreading (SMT) architecture aiming at CPU cores of embedded SoCs for consumer applications. This architecture reduces...
162
click to vote
SAS
2004
Springer
16 years 2 days ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
187
click to vote
WDAG
2004
Springer
16 years 1 days ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
138
click to vote
CHI
2010
ACM
16 years 23 hour ago
2010
ACM
A consistent theoretical and practical challenge in the design of socio-technical systems is that of motivating users to participate in and contribute to them. This study examines...