1938 search results - page 266 / 388 » On Positive Relational Calculi |
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— This paper presents a new reinforcement learning algorithm for accelerating acquisition of new skills by real mobile robots, without requiring simulation. It speeds up Q-learni...
ISESE
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes ethnographic observations and analysis of the performance of student teams working on year-long software projects for industrial clients. Personality types we...
ISPAN
2005
IEEE
14 years 1 months ago
2005
IEEE
We define a family of Distributed Hash Table systems whose aim is to combine routing efficiency of the randomized networks — i.e. average path length O(log n/ log log n) vs. t...
NDSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Current intrusion detection systems point out suspicious states or events but do not show how the suspicious state or events relate to other states or events in the system. We sho...
SP
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...