9888 search results - page 344 / 1978 » compute 2009 |
186
click to vote
TAMC
2009
Springer
16 years 2 months ago
2009
Springer
We are reviewing recent advances in the run time analysis of search tree algorithms, including indications to open problems. In doing so, we also try to cover the historical dimens...
208
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
227
click to vote
IDC
2009
Springer
15 years 5 months ago
2009
Springer
Emergence is a key element in the research of multi-agent systems. Emergent properties provide higher level features to a system formed of simpler individuals. So far, emergence ha...
228
click to vote
TLCA
2009
Springer
16 years 2 months ago
2009
Springer
We show that, in a parametric model of polymorphism, the type ∀α.((α → α) → α) → (α → α → α) → α is isomorphic to closed n terms. That is, the type of closed ...
183
click to vote
ICCV
2009
IEEE
17 years 19 days ago
2009
IEEE
In this paper we describe a method to learn parameters
which govern pedestrian motion by observing video
data. Our learning framework is based on variational
mode learning and a...