315 search results - page 59 / 63 » Homing and Synchronizing Sequences |
175
click to vote
SIGMOD
2009
ACM
16 years 18 days ago
2009
ACM
The state of the art commercial query optimizers employ cost-based optimization and exploit dynamic programming (DP) to find the optimal query execution plan (QEP) without evalua...
196
click to vote
SEFM
2007
IEEE
16 years 2 days ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
173
click to vote
ACIVS
2007
Springer
15 years 12 months ago
2007
Springer
In this paper, we propose a collaborative technique for face orientation estimation in smart camera networks. The proposed spatiotemporal feature fusion analysis is based on active...
157
click to vote
CAV
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
141
click to vote
EMSOFT
2007
Springer
15 years 12 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...