Sciweavers

5393 search results - page 463 / 1079
» Spatial Computing with Labels
Sort
View
ECEASST
2008
106views more  ECEASST 2008»
15 years 7 months ago
Controlling resource access in Directed Bigraphs
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
Davide Grohmann, Marino Miculan
ENTCS
2007
111views more  ENTCS 2007»
15 years 7 months ago
Reversibility and Models for Concurrency
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
Iain Phillips, Irek Ulidowski
ACL
2009
15 years 5 months ago
Hidden Markov Tree Model in Dependency-based Machine Translation
We would like to draw attention to Hidden Markov Tree Models (HMTM), which are to our knowledge still unexploited in the field of Computational Linguistics, in spite of highly suc...
Zdenek Zabokrtský, Martin Popel
264
Voted
CVPR
2011
IEEE
15 years 4 months ago
Occlusion Boundary Detection and Figure/Ground Assignment from Optical Flow
In this work, we propose a contour and region detector for video data that exploits motion cues and distinguishes occlusion boundaries from internal boundaries based on optical ï¬...
Patrik Sundberg, Jitendra Malik, Michael Maire, Pa...
CVPR
2011
IEEE
15 years 3 months ago
Making the Right Moves: Guiding Alpha-Expansion using Local Primal-Dual Gaps
This paper presents a new adaptive graph-cut based move-making algorithm for energy minimization. Traditional move-making algorithms such as Expansion and Swap operate by searchin...
Dhruv Batra, Pushmeet Kohli