2089 search results - page 112 / 418 » Finding Environment Guarantees |
225
click to vote
POPL
2001
ACM
16 years 4 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...
174
click to vote
ALPIT
2008
IEEE
15 years 10 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...
138
click to vote
CDC
2008
IEEE
15 years 10 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...
139
Voted
IAT
2007
IEEE
15 years 10 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...
126
click to vote
MDM
2007
Springer
15 years 10 months 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 ...