Sciweavers

615 search results - page 8 / 123
» The challenges of automated methods for integrating systems
Sort
View
TLT
2010
82views more  TLT 2010»
13 years 4 months ago
Annie: Automated Generation of Adaptive Learner Guidance for Fun Serious Games
This paper describes some of the difficulties inherent in building intelligent educational games, specifically the challenge of integrating pedagogy with core game play. We introdu...
James M. Thomas, R. Michael Young
DESRIST
2009
Springer
137views Education» more  DESRIST 2009»
14 years 2 months ago
Situational method engineering for governance, risk and compliance information systems
Against the background of the current financial crisis and an aftermath of increasing regulation, companies enhance and integrate information systems in the areas of risk manageme...
Anke Gericke, Hans-Georg Fill, Dimitris Karagianni...
LPNMR
2005
Springer
14 years 3 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é...
PC
2008
142views Management» more  PC 2008»
13 years 9 months ago
Performance analysis challenges and framework for high-performance reconfigurable computing
Reconfigurable computing (RC) applications employing both microprocessors and FPGAs have potential for large speedup when compared with traditional (software) parallel application...
Seth Koehler, John Curreri, Alan D. George
SIGMOD
2012
ACM
275views Database» more  SIGMOD 2012»
12 years 8 days ago
Computational reproducibility: state-of-the-art, challenges, and database research opportunities
Computational experiments have become an integral part of the scientific method, but reproducing, archiving, and querying them is still a challenge. The first barrier to a wider...
Juliana Freire, Philippe Bonnet, Dennis Shasha