Sciweavers

3333 search results - page 313 / 667
» Abstract Proof Search
Sort
View
154
Voted
AI
2005
Springer
16 years 7 days ago
Real-Time Decision Making for Large POMDPs
Abstract. In this paper, we introduce an approach called RTBSS (RealTime Belief Space Search) for real-time decision making in large POMDPs. The approach is based on a look-ahead s...
Sébastien Paquet, Ludovic Tobin, Brahim Cha...
CP
2005
Springer
16 years 7 days ago
Encoding HTN Planning as a Dynamic CSP
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
Pavel Surynek, Roman Barták
ISMIS
2005
Springer
16 years 6 days ago
Extracting Emotions from Music Data
Abstract. Music is not only a set of sounds, it evokes emotions, subjectively perceived by listeners. The growing amount of audio data available on CDs and in the Internet wakes up...
Alicja Wieczorkowska, Piotr Synak, Rory A. Lewis, ...
DBISP2P
2004
Springer
93views Database» more  DBISP2P 2004»
16 years 2 days ago
The Design of PIRS, a Peer-to-Peer Information Retrieval System
Abstract. In this paper, we describe the design of PIRS, a peer-topeer information retrieval system. PIRS satisfies many of the goals of P2P computing in a way that other P2P IR s...
Wai Gen Yee, Ophir Frieder
GECCO
2004
Springer
16 years 2 days ago
A Polynomial Upper Bound for a Mutation-Based Algorithm on the Two-Dimensional Ising Model
Abstract. Fitness functions based on the Ising model are suited excellently for studying the adaption capabilities of randomised search heuristics. The one-dimensional Ising model ...
Simon Fischer