1226 search results - page 217 / 246 » Proofs, Programs and Abstract Complexity |
103
click to vote
ACMSE
2005
ACM
15 years 1 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
115
click to vote
ECCV
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Movies and TV are a rich source of diverse and complex video of people, objects, actions and locales "in the wild". Harvesting automatically labeled sequences o...
196
click to vote
CP
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. Many combinatorial problems encountered in practice involve constraints that require that a set of variables take distinct or equal values. The AllDifferent constraint, i...
CHES
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. This paper presents a design-space exploration of an applicationspecific instruction-set processor (ASIP) for the computation of various cryptographic pairings over Barre...
ICALP
2009
Springer
16 years 3 days ago
2009
Springer
In this paper, we propose an abstract procedure which, given a timed automaton, produces a language-equivalent deterministic infinite timed tree. We prove that under a certain boun...