Sciweavers

7536 search results - page 57 / 1508
» The CLEAR 2007 Evaluation
Sort
View
MTSR
2007
Springer
14 years 2 months ago
The Human Art of Encoding: Markup as Documentary Practice
This paper describes the Markup Analysis Project, a research initiative of the Information Policy and Practice Research Group at the University of Sydney to investigate frameworks ...
Paul Scifleet, Susan P. Williams, Creagh Cole
TAP
2007
Springer
113views Hardware» more  TAP 2007»
14 years 2 months ago
Combining Static and Dynamic Reasoning for Bug Detection
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...
Yannis Smaragdakis, Christoph Csallner
UM
2007
Springer
14 years 2 months ago
Identifiability: A Fundamental Problem of Student Modeling
In this paper we show how model identifiability is an issue for student modeling: observed student performance corresponds to an infinite family of possible model parameter estimat...
Joseph E. Beck, Kai-min Chang
WER
2007
Springer
14 years 2 months ago
Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements
Business stakeholders need to have clear and realistic goals if they want to meet commitments in application development. As a consequence, at early stages they prioritize require...
Maya Daneva, Mohamad Kassab, María Laura Po...
AAAI
2007
13 years 10 months ago
Authorial Idioms for Target Distributions in TTD-MDPs
In designing Markov Decision Processes (MDP), one must define the world, its dynamics, a set of actions, and a reward function. MDPs are often applied in situations where there i...
David L. Roberts, Sooraj Bhat, Kenneth St. Clair, ...