Sciweavers

709 search results - page 91 / 142
» An Equational Theory for Transactions
Sort
View
IJCNN
2008
IEEE
15 years 5 months ago
A quantum calculus formulation of dynamic programming and ordered derivatives
— Much recent research activity has focused on the theory and application of quantum calculus. This branch of mathematics continues to find new and useful applications and there ...
John Seiffertt, Donald C. Wunsch
AIED
2007
Springer
15 years 5 months ago
Beyond the code-and-count analysis of tutoring dialogues
In this paper, we raise a methodological issue concerning the empirical analysis of tutoring dialogues: The frequencies of tutoring moves do not necessarily reveal their causal ef...
Stellan Ohlsson, Barbara Di Eugenio, Bettina Chow,...
SAC
2006
ACM
15 years 5 months ago
A branch and prune algorithm for the approximation of non-linear AE-solution sets
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
Alexandre Goldsztejn
DSSCV
2005
Springer
15 years 4 months ago
Using Top-Points as Interest Points for Image Matching
We consider the use of so-called top-points for object retrieval. These points are based on scale-space and catastrophe theory, and are invariant under gray value scaling and offse...
Bram Platel, Evguenia Balmachnova, Luc Florack, Fr...
GECCO
2005
Springer
15 years 4 months ago
A theoretical analysis of the HIFF problem
We present a theoretical analysis of Watson’s Hierarchicalif-and-only-if (HIFF) problem using a variety of tools. These include schema theory and course graining, the concept of...
Nicholas Freitag McPhee, Ellery Fussell Crane