2741 search results - page 13 / 549 » Engineering Mathematical Knowledge |
104
Voted
ICSR
2009
Springer
14 years 11 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
91
Voted
FLAIRS
2004
15 years 3 months ago
2004
NL interaction and skillful hinting are known as cornerstones for successful tutoring. Despite these insights, a combination of these two factors is widely under-represented in th...
104
click to vote
SYNASC
2007
IEEE
15 years 8 months ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
210
Voted
IUI
2012
ACM
13 years 9 months ago
2012
ACM
We present PhysicsBook, a prototype system that enables users to solve physics problems using a sketch-based interface and then animates any diagram used in solving the problem to...
115
click to vote
IJCINI
2007
15 years 1 months ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...