Sciweavers

2766 search results - page 302 / 554
» Hybridizing a Logical Framework
Sort
View
IEEEMSP
2002
IEEE
15 years 11 months ago
Rate-distortion optimized streaming from the edge of the network
Abstract—This paper addresses the problem of streaming packetized media over a lossy packet network through an intermediate proxy server to a client, in a rate-distortion optimiz...
Jacob Chakareski, Philip A. Chou, Bernd Girod
ICIA
2007
15 years 9 months ago
Integrating Multiple Representations of Spatial Knowledge for Mapping, Navigation, and Communication
A robotic chauffeur should reason about spatial information with a variety of scales, dimensions, and ontologies. Rich representations of both the quantitative and qualitative cha...
Patrick Beeson, Matt MacMahon, Joseph Modayil, Ani...
AIPS
2006
15 years 8 months ago
Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems
We present an architecture that provides a robust, scalable and flexible software framework for planning and scheduling systems through the use of standardized industrial-strength...
Bernd Schattenberg, Steffen Balzer, Susanne Biundo
IJCAI
1997
15 years 8 months ago
Implementing BDI-like Systems by Direct Execution
While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...
Michael Fisher
UAI
1994
15 years 8 months ago
Global Conditioning for Probabilistic Inference in Belief Networks
In this paper we propose a new approach to probabilistic inference on belief networks, global conditioning, which is a simple generalization of Pearl's (1986b) method of loop...
Ross D. Shachter, Stig K. Andersen, Peter Szolovit...