102 search results - page 15 / 21 » Verifying space and time requirements for resource-bounded a... |
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
We contribute an approach for interactive policy learning through expert demonstration that allows an agent to actively request and effectively represent demonstration examples. I...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
194
click to vote
PODS
2009
ACM
15 years 10 months ago
2009
ACM
Skyline computation is widely used in multi-criteria decision making. As research in uncertain databases draws increasing attention, skyline queries with uncertain data have also ...
RSP
2003
IEEE
15 years 2 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
A peer-to-peer(P2P) system comprises a network of nodes that are capable of sharing and exchanging resources with one another. Recent studies of P2P networks show that many resour...