339 search results - page 55 / 68 » Universality Results for Models in Locally Boolean Domains |
158
click to vote
ATAL
2009
Springer
16 years 22 days 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...
186
click to vote
VLSM
2005
Springer
15 years 11 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...
172
click to vote
ICASSP
2009
IEEE
16 years 27 days 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...
157
click to vote
ECCV
2006
Springer
15 years 9 months 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...
165
click to vote
ICIP
2008
IEEE
16 years 7 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...