9067 search results - page 774 / 1814 » Adaptive Model Checking |
182
click to vote
TMI
2008
15 years 7 months ago
2008
Tomographic reconstruction from positron emission tomography (PET) data is an ill-posed problem that requires regularization. An attractive approach is to impose an 1-regularizatio...
214
click to vote
IAJIT
2010
15 years 6 months ago
2010
: A broad variety of data is available in distinct heterogeneous sources, stored under different formats: database formats (in relational and object-oriented models), document form...
250
click to vote
ACL
2010
15 years 5 months ago
2010
Open-ended spoken interactions are typically characterised by both structural complexity and high levels of uncertainty, making dialogue management in such settings a particularly...
192
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
Direct implementations of bilateral filtering show O(r2 ) computational complexity per pixel, where r is the filter window radius. Several lower complexity methods have been devel...
200
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- This paper presents a new algorithm for maximizing the flight duration of a single UAV (Uninhabited Air Vehicle) and UAVs group using the thermal model developed by Alle...