10072 search results - page 1911 / 2015 » Composition of Model Programs |
130
Voted
CVPR
2010
IEEE
15 years 10 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...
140
Voted
VEE
2010
ACM
15 years 9 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
103
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic with encapsulations of many classic...
136
Voted
SACMAT
2009
ACM
15 years 9 months ago
2009
ACM
Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources. DAC mechanisms are more user-friendly than Mandat...
137
Voted
COMSWARE
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we are concerned with finding the maximum throughput that a mobile ad hoc network can support. Even when nodes are stationary, the problem of determining the capaci...