8499 search results - page 119 / 1700 » cans 2009 |
158
click to vote
CAIP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Tracking of articulated objects is a challenging task in Computer Vision. A highly target specific model can improve the robustness of the tracking by eliminating or red...
141
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
149
click to vote
CBSE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
141
Voted
CIE
2009
Springer
15 years 11 months ago
2009
Springer
Let Γ be a (not necessarily finite) structure with a finite relational signature. We prove that deciding whether a given existential positive sentence holds in Γ is in LOGSPACE...
127
click to vote
DCOSS
2009
Springer
15 years 11 months ago
2009
Springer
Bulk transport underlies data exfiltration and code update facilities in WSNs, but existing approaches are not designed for highly lossy and variable-quality links. We observe tha...