7991 search results - page 1219 / 1599 » Using More Reasoning to Improve |
221
click to vote
JOT
2007
15 years 6 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
202
click to vote
AAMAS
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Open systems are becoming increasingly important in a variety of distributed, networked computer applications. Their characteristics, such as agent diversity, heterogenei...
180
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
171
click to vote
CCR
2004
15 years 6 months ago
2004
The tremendous popularity of wireless systems in recent years has led to the commoditization of RF transceivers (radios) whose prices have fallen dramatically. The lower cost allo...
202
click to vote
ALGORITHMICA
2000
15 years 6 months ago
2000
Localization is the process of determining the robot's location within its environment. More precisely, it is a procedure which takes as input a geometric map, a current estim...