1592 search results - page 283 / 319 » The state of the email address |
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
SODA
2010
ACM
15 years 9 months ago
2010
ACM
There has been great interest in deciding whether a combinatorial structure satisfies some property, or in estimating the value of some numerical function associated with this com...
103
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
We address the character identification problem in
movies and television videos: assigning names to faces on
the screen. Most prior work on person recognition in video
assumes s...
DASFAA
2010
IEEE
15 years 6 months ago
2010
IEEE
Compression in column-oriented databases has been proven to offer both performance enhancements and reductions in storage consumption. This is especially true for read access as c...
IPSN
2010
Springer
15 years 6 months ago
2010
Springer
Current data collection protocols for wireless sensor networks are mostly based on quasi-static minimum-cost routing trees. We consider an alternative, highly-agile approach calle...