Sciweavers

3381 search results - page 177 / 677
» Extending Dependencies with Conditions
Sort
View
ICASSP
2008
IEEE
16 years 29 days ago
Optical flow robust estimation in a hybrid multi-resolution MRF framework
We propose in this paper a robust multi-resolution technique to estimate dense velocity field from image sequences. It couples a Gaussian pyramidal down-sampling decomposition to...
Cyril Cassisa, Véronique Prinet, Liang Shao...
PIMRC
2008
IEEE
16 years 26 days ago
Distributed network utility optimization in wireless sensor networks using power control
—We extend the existing network utility maximization (NUM) framework for wired networks to wireless sensor networks by formulating it in order to take into account interference a...
George Tichogiorgos, Kin K. Leung, Archan Misra, T...
ASWEC
2007
IEEE
16 years 25 days ago
Formal Validation of Hierarchical State Machines against Expectations
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
Ian Toyn, Andy Galloway
DAGM
2007
Springer
16 years 20 days ago
Stochastic Optimization of Multiple Texture Registration Using Mutual Information
Abstract. We consider the problem of simultaneously registering several images to a 3D model. We propose a global approach based on mutual information that extends previous methods...
Ioan Cleju, Dietmar Saupe
LICS
2005
IEEE
16 years 2 days ago
Name Generation and Linearity
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
Glynn Winskel