39362 search results - page 7326 / 7873 » Global Computing Systems |
181
click to vote
IJCAI
2007
15 years 8 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
159
Voted
LREC
2008
15 years 8 months ago
2008
As a first step to developing systems that enable non-native speakers to output near-perfect English sentences for given mixed EnglishJapanese sentences, we propose new approaches...
211
click to vote
IJCAI
2007
15 years 8 months ago
2007
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...
180
click to vote
NIPS
2008
15 years 8 months ago
2008
Recently, fitted Q-iteration (FQI) based methods have become more popular due to their increased sample efficiency, a more stable learning process and the higher quality of the re...
169
Voted
INTERACT
2007
15 years 8 months ago
2007
User interruptability has become an important topic of study in Human-Computer Interaction (HCI). However, automatically determining the availability of users is still problematic....