2673 search results - page 484 / 535 » Guided Static Analysis |
ICDCS
2005
IEEE
15 years 6 months ago
2005
IEEE
Stream processing has become increasingly important with emergence of stream applications such as audio/video surveillance, stock price tracing, and sensor data analysis. A challe...
105
click to vote
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
111
Voted
UM
2005
Springer
15 years 6 months ago
2005
Springer
Intelligent tutoring systems help students acquire cognitive skills by tracing students’ knowledge and providing relevant feedback. However, feedback that focuses only on the cog...
95
Voted
JCDL
2004
ACM
15 years 6 months ago
2004
ACM
A large amount of research, technical and professional documents are available today in digital formats. Digital libraries are created to facilitate search and retrieval of inform...
SIGCSE
2004
ACM
15 years 6 months ago
2004
ACM
Many algorithm visualizations have been created, but little is known about which features are most important to their success. We believe that pedagogically useful visualizations ...