Sciweavers

906 search results - page 107 / 182
» Chain Dominated Orders
Sort
View
AAAI
1990
15 years 7 months ago
Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
Danilo Fum, Paolo Giangrandi, Carlo Tasso
ICANN
2010
Springer
15 years 7 months ago
Discovery of Exogenous Variables in Data with More Variables Than Observations
Many statistical methods have been proposed to estimate causal models in classical situations with fewer variables than observations. However, modern datasets including gene expres...
Yasuhiro Sogawa, Shohei Shimizu, Aapo Hyvärin...
IOR
2010
100views more  IOR 2010»
15 years 4 months ago
Integrated Production and Outbound Distribution Scheduling: Review and Extensions
In many applications involving make-to-order or time-sensitive (e.g., perishable, seasonal) products, finished orders are often delivered to customers immediately or shortly after...
Zhi-Long Chen
OOPSLA
2010
Springer
15 years 4 months ago
From OO to FPGA: fitting round objects into square hardware?
Consumer electronics today such as cell phones often have one or more low-power FPGAs to assist with energyintensive operations in order to reduce overall energy consumption and i...
Stephen Kou, Jens Palsberg
TSE
2010
123views more  TSE 2010»
15 years 26 days ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue