Sciweavers

949 search results - page 148 / 190
» Relating Imperatives to Action
Sort
View
117
Voted
VLDB
2005
ACM
117views Database» more  VLDB 2005»
15 years 9 months ago
Data Sharing in the Hyperion Peer Database System
This demo presents Hyperion, a prototype system that supports data sharing for a network of independent Peer Relational Database Management Systems (PDBMSs). The nodes of such a n...
Patricia Rodríguez-Gianolli, Maddalena Garz...
115
Voted
VMCAI
2005
Springer
15 years 9 months ago
Checking Herbrand Equalities and Beyond
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
Markus Müller-Olm, Oliver Rüthing, Helmu...
125
Voted
DOLAP
2004
ACM
15 years 9 months ago
Beyond data warehousing: what's next in business intelligence?
During the last ten years the approach to business management has deeply changed, and companies have understood the importance of enforcing achievement of the goals defined by the...
Matteo Golfarelli, Stefano Rizzi, Iuris Cella
131
Voted
ATAL
2004
Springer
15 years 9 months ago
Approximate Solutions for Partially Observable Stochastic Games with Common Payoffs
Partially observable decentralized decision making in robot teams is fundamentally different from decision making in fully observable problems. Team members cannot simply apply si...
Rosemary Emery-Montemerlo, Geoffrey J. Gordon, Jef...
114
Voted
ITS
2004
Springer
204views Multimedia» more  ITS 2004»
15 years 9 months ago
FlexiTrainer: A Visual Authoring Framework for Case-Based Intelligent Tutoring Systems
The need for rapid and cost-effective development Intelligent Tutoring Systems with flexible pedagogical approaches has led to a demand for authoring tools. The authoring systems ...
Sowmya Ramachandran, Emilio Remolina, Daniel Fu