Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
— Localization and context interpretation are two key competences for mobile robot systems. Visual place recognition, as opposed to purely geometrical models, holds promise of hi...
Muhammad Muneeb Ullah, Andrzej Pronobis, Barbara C...
—This paper introduces a new approach to develop robots that can learn general affordance relations from their experiences. Our approach is a part of larger efforts to develop a ...
Erdem Erdemir, Carl B. Frankel, Kazuhiko Kawamura,...
— Recent efforts to address microprocessor power dissipation through aggressive supply voltage scaling and power management require that designers be increasingly cognizant of po...
Meeta Sharma Gupta, Jarod L. Oatley, Russ Joseph, ...
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...