6978 search results - page 1348 / 1396 » On Proofs in System P |
TROB
2002
13 years 7 months ago
2002
The objective of the CyberScout project is to develop an autonomous surveillance and reconnaissance system using a network of all-terrain vehicles. In this paper, we focus on two f...
ENVSOFT
2008
13 years 7 months ago
2008
In different river catchments in Europe, pesticide concentrations in surface waters frequently exceed the standards, possibly resulting in negative impacts on aquatic fauna and fl...
PRL
2007
13 years 7 months ago
2007
A simple and general-purpose system to recognize biological particles is presented. It is composed of four stages. First (if necessary) promising locations in the image are detect...
BMCBI
2008
13 years 6 months ago
2008
Background: Recent advances in global genomic profiling methodologies have enabled multidimensional characterization of biological systems. Complete analysis of these genomic prof...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— One long-standing challenge in robotics is the realization of mobile autonomous robots able to operate safely in existing human workplaces in a way that their presence is accep...