91 search results - page 4 / 19 » Symmetries, local names and dynamic (de)-allocation of names |
186
click to vote
FOSSACS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
180
click to vote
UAI
2000
15 years 7 months ago
2000
Particle filters (PFs) are powerful samplingbased inference/learning algorithms for dynamic Bayesian networks (DBNs). They allow us to treat, in a principled way, any type of prob...
187
click to vote
RIAO
2007
15 years 7 months ago
2007
Peer-to-peer network overlays have mostly been designed to support search over document names, identifiers, or keywords from a small or controlled vocabulary. In this paper we pro...
164
click to vote
INFOCOM
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract—Different geographic routing protocols have different requirements on routing metric designs to ensure proper operation. Combining a wrong type of routing metric with a ...
180
click to vote
MM
2009
ACM
16 years 17 days ago
2009
ACM
This paper presents a novel motion localization approach for recognizing actions and events in real videos. Examples include StandUp and Kiss in Hollywood movies. The challenge ca...