339 search results - page 55 / 68 » Universality Results for Models in Locally Boolean Domains |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
VLSM
2005
Springer
14 years 2 months ago
2005
Springer
For non-rigid registration, the objects in medical images are usually treated as a single deformable body with homogeneous stiffness distribution. However, this assumption is inval...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
A two microphone direction of arrival (DOA) estimation technique for multiple speech sources is developed which exploits speech specific properties, namely sparsity in time-frequ...
ECCV
2006
Springer
14 years 9 days ago
2006
Springer
We present a novel method for the detection of motion boundaries in a video sequence based on differential properties of the spatio-temporal domain. Regarding the video sequence as...
ICIP
2008
IEEE
14 years 10 months ago
2008
IEEE
An algorithm for video resolution enhancement is presented. The approach borrows from previous methods for still-image superresolution, introducing modifications better suited for...