Sciweavers

1003 search results - page 117 / 201
» Extending the Adaptability of Reference Models
Sort
View
IJCV
2002
99views more  IJCV 2002»
15 years 1 months ago
Subjective Surfaces: A Geometric Model for Boundary Completion
We present a geometric model and a computational method for segmentation of images with missing boundaries. In many situations, the human visual system fills in missing gaps in ed...
Alessandro Sarti, Ravi Malladi, James A. Sethian
FMCAD
2008
Springer
15 years 3 months ago
Automatic Non-Interference Lemmas for Parameterized Model Checking
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
Jesse D. Bingham
AIPR
2000
IEEE
15 years 5 months ago
Autonomous Video Registration Using Sensor Model Parameter Adjustments
Recently, airborne video surveillance platforms have gained greater acceptance for use in a variety of DoD missions due to their utility, affordability and autonomy. While a varie...
Richard W. Cannata, Steven G. Blask, John A. Van W...
ATAL
2010
Springer
15 years 2 months ago
A model of normative power
A power describes the ability of an agent to act in some way. While this notion of power is critical in the context of organisational dynamics, and has been studied by others in t...
Nir Oren, Michael Luck, Simon Miles
ICPR
2010
IEEE
15 years 7 months ago
Online Discriminative Kernel Density Estimation
—We propose a new method for online estimation of probabilistic discriminative models. The method is based on the recently proposed online Kernel Density Estimation (oKDE) framew...
Matej Kristan, Ales Leonardis