2042 search results - page 146 / 409 » Variable Number of |
158
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
129
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
This paper addresses real-time automatic visual tracking,
labeling and classification of a variable number of
objects such as pedestrians or/and vehicles, under timevarying
illu...
137
click to vote
FGR
2008
IEEE
15 years 11 months ago
2008
IEEE
Temporal segmentation of human motion into actions is a crucial step for understanding and building computational models of human motion. Several issues contribute to the challeng...
133
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
NoC architectures can be adopted to support general communications among multiple IPs over multi-processor Systems on Chip (SoCs). In this work we illustrate the modeling and simu...
135
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...