Sciweavers

4372 search results - page 74 / 875
» Algorithmic Theories of Everything
Sort
View
ICPR
2010
IEEE
13 years 6 months ago
Information Theory Based WCE Video Summarization
Wireless Capsule Endoscopy (WCE) is a technical break-through that allows to produce a video of the entire intestine without surgery. It is reported that a medical clinician spend...
Giovanni Gallo, Eliana Granata, Alessandro Torrisi
ICASSP
2011
IEEE
13 years 14 days ago
Compressive sensing meets game theory
We introduce the Multiplicative Update Selector and Estimator (MUSE) algorithm for sparse approximation in underdetermined linear regression problems. Given f = Φα∗ + µ, the ...
Sina Jafarpour, Robert E. Schapire, Volkan Cevher
FLAIRS
2001
13 years 10 months ago
Algorithms for Buffering Fuzzy Raster Maps
In this paper,weshowhowstandardGISoperationslike the complement,union,intersection, and bufferingof mapscan be mademoreflexiblebyusingfuzzyset theory.In particular, wepresenta var...
Hans W. Guesgen, Joachim Hertzberg
CSCLP
2008
Springer
13 years 10 months ago
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...
Khalil Djelloul
TACAS
2010
Springer
167views Algorithms» more  TACAS 2010»
14 years 3 months ago
Antichain Algorithms for Finite Automata
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
Laurent Doyen, Jean-François Raskin