Sciweavers

2958 search results - page 221 / 592
» Extending and Implementing RASP
Sort
View
LPNMR
2005
Springer
14 years 4 months ago
An ID-Logic Formalization of the Composition of Autonomous Databases
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
Bert Van Nuffelen, Ofer Arieli, Alvaro Corté...
PADL
2005
Springer
14 years 4 months ago
An Ordered Logic Program Solver
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
POLICY
2005
Springer
14 years 4 months ago
Adding Policy-Based Control to Mobile Hosts Switching between Streaming Proxies
We add a simple policy-based control component to mobile hosts that enables them to control the continuous reception of live multimedia content (e.g. a TV broadcast) while they sw...
Malohat Ibrohimovna Kamilova, Cristian Hesselman, ...
QOSIP
2005
Springer
14 years 4 months ago
Optimizing Routing Decisions Under Inaccurate Network State Information
Abstract. Maintaining accurate network state information in the Traffic Engineering Databases of each node along a network is extremely difficult. The BYPASS Based Routing (BBR) me...
Xavier Masip-Bruin, Sergio Sánchez-Ló...
ROBOCUP
2005
Springer
98views Robotics» more  ROBOCUP 2005»
14 years 4 months ago
Integrating Collaboration and Activity-Oriented Planning for Coalition Operations Support
The use of planning assistant agents is an appropriate option to provide support for members of a coalition. Planning agents can extend the human abilities and be customised to att...
Clauirton de Siebra, Austin Tate