3557 search results - page 618 / 712 » Authoring Presentation for OpenMath |
108
Voted
AIPS
2003
15 years 2 months ago
2003
We present an efficient algorithm for exact calculation and minimization of expected waiting times of all passengers using a bank of elevators. The dynamics of the system are rep...
116
Voted
IJCAI
2003
15 years 2 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
105
Voted
SPRINGSIM
2007
15 years 2 months ago
2007
We present an architecture for implementing a wireless physical layer in a packet-based network simulator. We integrate this architecture in the popular ns-2 network simulator and...
105
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Several researchers, present authors included, envision personal mobile robot agents that can assist humans in their daily tasks. Despite many advances in robotics, such mobile ro...
114
Voted
HUC
2010
Springer
15 years 1 months ago
2010
Springer
Energy use in the home is a topic of increasing interest and concern, and one on which technology can have a significant impact. However, existing work typically focuses on modera...