4298 search results - page 75 / 860 » Measurable chromatic numbers |
199
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- In recent years underwater survey and surveillance missions with more than a single Autonomous Underwater Vehicle (AUV) have become more common thanks to more reliable a...
197
click to vote
TCS
2011
15 years 1 months ago
2011
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
168
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
We present a method based on statistical properties of local image pixels for focussing attention on regions of text in arbitrary scenes where the text plane is not necessarily fr...
173
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We consider the estimation of the locations of multiple transmitters based on received signal strength measurements at a network of randomly-placed receivers. We generalize the ex...
143
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when we need to consider artificial systems whic...