Sciweavers

7080 search results - page 853 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
AIED
2005
Springer
16 years 1 months ago
Computer Games as Intelligent Learning Environments: A River Ecosystem Adventure
Our goal in this work has been to bring together the entertaining and flow characteristics of video game environments with proven learning theories to advance the state of the art ...
Jason Tan, Chris Beers, Ruchi Gupta, Gautam Biswas
DAC
2010
ACM
15 years 11 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
EDOC
2009
IEEE
16 years 2 months ago
Using Enterprise Architecture Management Patterns to Complement TOGAF
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...
Sabine Buckl, Alexander M. Ernst, Florian Matthes,...
JCDL
2010
ACM
154views Education» more  JCDL 2010»
16 years 16 days ago
Transferring structural markup across translations using multilingual alignment and projection
We present here a method for automatically projecting structural information across translations, including canonical citation structure (such as chapters and sections), speaker i...
David Bamman, Alison Babeu, Gregory Crane
CIKM
2006
Springer
15 years 11 months ago
Re-ranking search results using query logs
This work addresses two common problems in search, frequently occurring with underspecified user queries: the top-ranked results for such queries may not contain documents relevan...
Ziming Zhuang, Silviu Cucerzan