Sciweavers

14704 search results - page 302 / 2941
» computing 2007
Sort
View
IAT
2007
IEEE
15 years 10 months ago
A Computational Model for Adaptive Emotion Regulation
Emotion regulation describes how a subject can use certain strategies to affect emotion response levels. Usually, models for emotion regulation assume mechanisms based on feedback ...
Tibor Bosse, Matthijs Pontier, Jan Treur
CIE
2007
Springer
15 years 10 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
IIE
2007
94views more  IIE 2007»
15 years 4 months ago
A System Employing Peer Review and Enhanced Computer Assisted Assessment of Querying Skills
In recent years a small number of web-based tools have been proposed to help students learn to write SQL query statements and also to assess students’ SQL writing skills. SQLify ...
Michael de Raadt, Stijn Dekeyser, Tien Yu Lee
CPM
2007
Springer
185views Combinatorics» more  CPM 2007»
15 years 10 months ago
Algorithms for Computing the Longest Parameterized Common Subsequence
In this paper, we revisit the classic and well-studied longest common subsequence (LCS) problem and study some new variants, first introduced and studied by Rahman and Iliopoulos ...
Costas S. Iliopoulos, Marcin Kubica, M. Sohel Rahm...