Sciweavers

5101 search results - page 772 / 1021
» Capturing Context Requirements
Sort
View
JCDL
2003
ACM
114views Education» more  JCDL 2003»
15 years 8 months ago
Understanding Educator Perceptions of "Quality" in Digital Libraries
The purpose of the study was to identify educators’ expectations and requirements for the design of educational digital collections for classroom use. A series of five focus gro...
Tamara Sumner, Michael Khoo, Mimi Recker, Mary Mar...
SIGSOFT
2003
ACM
15 years 8 months ago
Fluent model checking for event-based systems
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
Dimitra Giannakopoulou, Jeff Magee
146
Voted
CEEMAS
2003
Springer
15 years 8 months ago
On a Dynamical Analysis of Reinforcement Learning in Games: Emergence of Occam's Razor
Modeling learning agents in the context of Multi-agent Systems requires an adequate understanding of their dynamic behaviour. Usually, these agents are modeled similar to the diļ¬...
Karl Tuyls, Katja Verbeeck, Sam Maes
DEXA
2003
Springer
222views Database» more  DEXA 2003»
15 years 8 months ago
Process Data Store: A Real-Time Data Store for Monitoring Business Processes
With access to real-time information on critical performance indicators of business processes, managers and staff members can play a crucial role in improving the speed and effecti...
Josef Schiefer, Beate List, Robert M. Bruckner
128
Voted
ER
2003
Springer
150views Database» more  ER 2003»
15 years 8 months ago
EITH - A Unifying Representation for Database Schema and Application Code in Enterprise Knowledge Extraction
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
Mark S. Schmalz, Joachim Hammer, Mingxi Wu, Oguzha...