Sciweavers

1465 search results - page 176 / 293
» Practically intelligent agents aiding human intelligence
Sort
View
AAAI
2012
13 years 6 months ago
Automatic Targetless Extrinsic Calibration of a 3D Lidar and Camera by Maximizing Mutual Information
This paper reports on a mutual information (MI) based algorithm for automatic extrinsic calibration of a 3D laser scanner and optical camera system. By using MI as the registratio...
Gaurav Pandey, James R. McBride, Silvio Savarese, ...
108
Voted
AAAI
1996
15 years 5 months ago
Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection
Truth maintenance systems provide caches of beliefs and inferences that support explanations and search. Traditionally, the cost of using a TMS is monotonic growth in the size of ...
John O. Everett, Kenneth D. Forbus
97
Voted
ATAL
2003
Springer
15 years 9 months ago
Self-Organizing MANET Management
Abstract. In recent years, mobile ad-hoc networks (MANETs) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ ability t...
Sven Brueckner, H. Van Dyke Parunak
TSMC
2002
128views more  TSMC 2002»
15 years 3 months ago
Imitation with ALICE: learning to imitate corresponding actions across dissimilar embodiments
Imitation is a powerful mechanism whereby knowledge may be transferred between agents (both biological and artificial). Key problems on the topic of imitation have emerged in vario...
Aris Alissandrakis, Chrystopher L. Nehaniv, Kersti...
AI
2000
Springer
15 years 3 months ago
Proving theorems by reuse
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
Christoph Walther, Thomas Kolbe