Sciweavers

1151 search results - page 211 / 231
» Tracking Appearances with Occlusions
Sort
View
MICCAI
2008
Springer
14 years 10 months ago
Active Volume Models with Probabilistic Object Boundary Prediction Module
We propose a novel Active Volume Model (AVM) which deforms in a free-form manner to minimize energy. Unlike Snakes and level-set active contours which only consider curves or surfa...
Tian Shen, Yaoyao Zhu, Xiaolei Huang, Junzhou H...
WWW
2006
ACM
14 years 9 months ago
What's really new on the web?: identifying new pages from a series of unstable web snapshots
Identifying and tracking new information on the Web is important in sociology, marketing, and survey research, since new trends might be apparent in the new information. Such chan...
Masashi Toyoda, Masaru Kitsuregawa
PODS
2008
ACM
204views Database» more  PODS 2008»
14 years 9 months ago
Annotated XML: queries and provenance
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
J. Nathan Foster, Todd J. Green, Val Tannen
TLDI
2009
ACM
122views Formal Methods» more  TLDI 2009»
14 years 5 months ago
Towards type-theoretic semantics for transactional concurrency
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
Aleksandar Nanevski, Paul Govereau, Greg Morrisett
GLOBECOM
2009
IEEE
14 years 3 months ago
The Directional Attack on Wireless Localization -or- How to Spoof Your Location with a Tin Can
—802.11 localization algorithms provide the ability to accurately position and track wireless clients thereby enabling location-based services and applications. However, we show ...
Kevin S. Bauer, Damon McCoy, Eric W. Anderson, Mar...