817 search results - page 81 / 164 » On 2-factors with k components |
152
click to vote
ITS
2000
Springer
15 years 9 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
189
click to vote
COOPIS
1995
IEEE
15 years 9 months ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
169
click to vote
ICCAD
1995
IEEE
15 years 9 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
165
click to vote
ACMSE
2009
ACM
15 years 9 months ago
2009
ACM
The goal of the One Laptop Per Child program is “to provide children around the world with new opportunities to explore, experiment, and express themselves.” To stay true to t...
154
click to vote
FLAIRS
2010
15 years 8 months ago
2010
In this paper, we propose the application of standard decomposition approaches to find local correlations in multimodal data. In a test scenario, we apply these methods to correla...