4075 search results - page 575 / 815 » Modeling Distributed Algorithm Using B |
140
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—We present Huckleberry, a tool for automatically generating parallel implementations for multi-core platforms from sequential recursive divide-and-conquer programs. The recursiv...
185
click to vote
VCIP
2003
15 years 8 months ago
2003
The aim of this work is to render high-quality views of a dynamic scene from novel viewpoints in real-time. An online system available at our institute computes the visual hull as...
201
click to vote
NIPS
2000
15 years 8 months ago
2000
We present methods for learning and tracking human motion in video. We estimate a statistical model of typical activities from a large set of 3D periodic human motion data by segm...
224
click to vote
WISEC
2010
ACM
15 years 11 months ago
2010
ACM
Key management in wireless sensor networks does not only face typical, but also several new challenges. The scale, resource limitations, and new threats such as node capture and c...
206
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...