Sciweavers

390 search results - page 26 / 78
» Use It or Lose It
Sort
View
ICLP
2001
Springer
14 years 1 months ago
Higher-Precision Groundness Analysis
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
Michael Codish, Samir Genaim, Harald Sønder...
AGENTS
1997
Springer
14 years 1 months ago
Synthetic Minds
This paper discusses conditions under which some of the “higher level” mental concepts applicable to human beings might also be applicable to artificial agents. The key idea ...
Aaron Sloman
GECCO
2006
Springer
180views Optimization» more  GECCO 2006»
14 years 19 days ago
Growth of self-canceling code in evolutionary systems
This research examines the behavior of inoperative code (introns) in the evolution of genetically robust solutions. Genetically robust solutions are solutions that are less likely...
Xue Zhong, Terence Soule
ICRA
2006
IEEE
136views Robotics» more  ICRA 2006»
14 years 3 months ago
Fault Detection for Mobile Robots using Redundant Positioning Systems
— Reliable navigation is a very important part of an autonomous mobile robot system. This means for instance that the robot should not lose track of its position, even if unexpec...
Paul Sundvall, Patric Jensfelt
FTDCS
2003
IEEE
14 years 2 months ago
Autonomous Transaction Processing Using Data Dependency in Mobile Environments
Mobile clients retrieve and update databases at servers. They use transactions in order to ensure the consistency of shared data in the presence of concurrent accesses. Transactio...
IlYoung Chung, Bharat K. Bhargava, Malika Mahoui, ...