Sciweavers

7340 search results - page 1104 / 1468
» The Behavior of Tutoring Systems
Sort
View
EGH
2004
Springer
16 years 5 days ago
A flexible simulation framework for graphics architectures
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly conļ¬...
Jeremy W. Sheaffer, David P. Luebke, Kevin Skadron
ICFEM
2004
Springer
16 years 5 days ago
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
YoungMin Kwon, Gul Agha
SBIA
2004
Springer
16 years 4 days ago
Learning with Class Skews and Small Disjuncts
One of the main objectives of a Machine Learning – ML – system is to induce a classifier that minimizes classification errors. Two relevant topics in ML are the understanding...
Ronaldo C. Prati, Gustavo E. A. P. A. Batista, Mar...
CA
2003
IEEE
16 years 2 days ago
Satisfying the Perceived Need for Free-Play in Pedagogically Oriented Interactive Dramas
This research explores ways of harnessing people’s passion for entertainment in order to stimulate players to attain the meta-learning skills they need for lifelong learning and...
Barry G. Silverman, Michael Johns, Ransom Weaver
CODES
2003
IEEE
16 years 2 days ago
Deriving process networks from weakly dynamic applications in system-level design
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...
Todor Stefanov, Ed F. Deprettere
« Prev « First page 1104 / 1468 Last » Next »