5664 search results - page 962 / 1133 » Creativity support tools |
116
Voted
NJC
2006
15 years 2 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
113
click to vote
IIE
2007
15 years 2 months ago
2007
Abstract thinking is a vital skill when learning computer science. Object technology and the concepts it is based upon make this skill even more crucial. However, previous research...
113
Voted
SIAMJO
2008
15 years 2 months ago
2008
Abstract. Utility functions of several variables are ubiquitous in economics. Their maximization requires inversion of the gradient map. Using convex analysis tools, we provide a r...
SIGCSE
2008
ACM
15 years 2 months ago
2008
ACM
This paper introduces the Bantam Java compiler project, a new language and compiler designed specifically for the classroom. Bantam Java, the source programming language, is a sma...
128
click to vote
AICOM
2005
15 years 2 months ago
2005
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...