Sciweavers

5619 search results - page 197 / 1124
» A Region Inference Algorithm
Sort
View
ATAL
2005
Springer
15 years 8 months ago
Task inference and distributed task management in the Centibots robotic system
We describe a very large scale distributed robotic system, involving a team of over 100 robots, that has been successfully deployed in large, unknown indoor environments, over ext...
Charlie Ortiz, Régis Vincent, Benoit Moriss...
FUIN
2010
130views more  FUIN 2010»
15 years 29 days ago
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...
Fabrizio Riguzzi
148
Voted
TITS
2011
165views more  TITS 2011»
14 years 9 months ago
Robust Inference of Principal Road Paths for Intelligent Transportation Systems
Abstract—Over the last few years, electronic vehicle guidance systems have become increasingly more popular. However, despite their ubiquity, performance will always be subject t...
Gabriel Agamennoni, Juan Nieto, Eduardo Mario Nebo...
BMCBI
2006
202views more  BMCBI 2006»
15 years 2 months ago
Integrated biclustering of heterogeneous genome-wide datasets for the inference of global regulatory networks
Background: The learning of global genetic regulatory networks from expression data is a severely under-constrained problem that is aided by reducing the dimensionality of the sea...
David J. Reiss, Nitin S. Baliga, Richard Bonneau
ACMSE
2006
ACM
15 years 8 months ago
Type inference and informative error reporting for secure information flow
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
Zhenyue Deng, Geoffrey Smith