6155 search results - page 837 / 1231 » A language for multiple models of computation |
180
click to vote
LICS
2006
IEEE
16 years 26 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
175
click to vote
MASCOTS
2008
15 years 8 months ago
2008
Two classic categories of models exist for computer networks: network information flow and network of queues. The network information flow model appropriately captures the multi-ho...
238
click to vote
CVPR
2009
IEEE
2009
IEEE
Continuous Ratio Optimization via Convex Relaxation with Applications to Multiview 3D Reconstruction
17 years 2 months ago
We introduce a convex relaxation framework to optimally
minimize continuous surface ratios. The key idea is to minimize
the continuous surface ratio by solving a sequence
of con...
188
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Within this paper a new framework for Bayesian tracking is presented, which approximates the posterior distribution at multiple resolutions. We propose a tree-based representation...
194
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Despite leaps in motion capture technology, the dichotomy between unencumbered vision-based motion recovery and the prevailing marker-assisted motion capture solution remains larg...