303 search results - page 13 / 61 » Challenging the Mathematics Curriculum |
ISIPTA
2005
IEEE
14 years 1 months ago
2005
IEEE
The “Ellsberg phenomenon” has played a significant role in research on imprecise probabilities. Fox and Tversky [7] have attempted to explain this phenomenon in terms of thei...
MPC
2000
Springer
13 years 11 months ago
2000
Springer
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Software testing efforts account for a large part of the software development costs. We still struggle, however, to properly prepare students to perform software testing activitie...
SIGCSE
2004
ACM
14 years 1 months ago
2004
ACM
Reacting to challenges that have been observed in humancomputer interaction (HCI) education, as well as the multidisciplinary design, science, and engineering underpinnings, we in...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...