Sciweavers

1114 search results - page 72 / 223
» An Architecture for Peer-to-peer Reasoning
Sort
View
CAISE
2006
Springer
15 years 10 months ago
Integrated Vision of Federated Data Warehouses
The notion of Federated Data Warehouse Architecture was suggested for various reasons: bigger autonomy of divisions in an organization, better adaptation to user needs, bigger effi...
Michel Schneider
AAAI
2006
15 years 7 months ago
Winning the DARPA Grand Challenge with an AI Robot
This paper describes the software architecture of Stanley, an autonomous land vehicle developed for high-speed desert driving without human intervention. The vehicle recently won ...
Michael Montemerlo, Sebastian Thrun, Hendrik Dahlk...
CAL
2007
15 years 6 months ago
Explaining Dynamic Cache Partitioning Speed Ups
Abstract— Cache Partitioning has been proposed as an interesting alternative to traditional eviction policies of shared cache levels in modern CMP architectures: throughput is im...
Miquel Moretó, Francisco J. Cazorla, Alex R...
AIED
2007
Springer
16 years 16 days ago
VL-PATSy: Facilitating vicarious learning via intelligent resource provision
This paper describes an adaptive system called VL-PATSy, an extension to an existing system (PATSy) that adds a mechanism for serving vicarious learning (VL) resources. Vicarious l...
Richard Cox, Jianxiong Pang
CSL
1995
Springer
15 years 10 months ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle