2089 search results - page 112 / 418 » Finding Environment Guarantees |
275
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
228
click to vote
ALPIT
2008
IEEE
16 years 1 months ago
2008
IEEE
The existing studies of a dialogue system can be classified into two major parts. One is a study for a practical system, and the other is a study to understand a principal of dial...
178
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The Tunnel-MILP algorithm is a three stage path planning method for 2-D environments that relies on the identification of a sequence of convex polygons to form an obstacle fre...
186
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a mechanism of noise tolerance for reinforcement learning algorithms. An adaptive agent that employs reinforcement learning algorithms may receive and accumula...
168
click to vote
MDM
2007
Springer
16 years 28 days ago
2007
Springer
Mobile collaborative environments, being naturally loosely-coupled, call for optimistic replication solutions in order to attain the requirement of decentralized highly available ...