Sciweavers

536 search results - page 95 / 108
» Evaluating Metrical Phonology - a Computational- Empirical A...
Sort
View
IJCAI
2003
15 years 1 months ago
Approximating Optimal Policies for Agents with Limited Execution Resources
An agent with limited consumable execution resources needs policies that attempt to achieve good performance while respecting these limitations. Otherwise, an agent (such as a pla...
Dmitri A. Dolgov, Edmund H. Durfee
ENTCS
2008
132views more  ENTCS 2008»
14 years 11 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
ICCBR
2009
Springer
14 years 9 months ago
On Similarity Measures Based on a Refinement Lattice
Abstract. Retrieval of structured cases using similarity has been studied in CBR but there has been less activity on defining similarity on description logics (DL). In this paper w...
Santiago Ontañón, Enric Plaza
TASE
2010
IEEE
14 years 6 months ago
A Collaborative Multiagent Taxi-Dispatch System
This paper presents a novel multiagent approach to automating taxi dispatch that services current bookings in a distributed fashion. The existing system in use by a taxi operator i...
Kiam Tian Seow, Nam Hai Dang, Der-Horng Lee
ECWEB
2011
Springer
277views ECommerce» more  ECWEB 2011»
13 years 11 months ago
Trust-Based Selection of Partners
The community of multi-agent systems has been studying ways to improve the selection of partner agents for joint action. One of such approaches consists in estimating the trustwort...
Joana Urbano, Ana Paula Rocha, Eugénio C. O...