1275 search results - page 54 / 255 » A Simple Focused Crawler |
104
Voted
CACM
2006
15 years 3 months ago
2006
This article presents a method for valuing software, based on the income that use of that software is expected to generate in the future. It applies well known principles of intel...
115
Voted
SWARM
2008
SPRINGER
15 years 3 months ago
2008
SPRINGER
Abstract Stage is a C++ software library that simulates multiple mobile robots. Stage version 2, as the simulation backend for the Player/Stage system, may be the most commonly use...
148
Voted
JAR
2010
15 years 2 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
131
click to vote
ICASSP
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper studies compressed sensing for the recovery of non-negative sparse vectors from a smaller number of measurements than the ambient dimension of the unknown vector. We fo...
106
click to vote
TSP
2010
14 years 10 months ago
2010
This paper deals with the Bayesian signal denoising problem, assuming a prior based on a sparse representation modeling over a unitary dictionary. It is well known that the maximum...