11455 search results - page 390 / 2291 » The Rayset and Its Applications |
187
click to vote
VL
2003
IEEE
16 years 3 days ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...
151
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
We present an innovative application of discourse processing concepts to educational technology. In our corpus analysis of peer learning dialogues, we found that initiative and in...
175
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
148
click to vote
CARDIS
2000
Springer
15 years 11 months ago
2000
Springer
Webcard is a TCP/IP stack and web server written in Java that runs on a Schlumberger Cyberflex Access smartcard. In this report, we describe the architecture and implementation of...
161
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We show that the hitting time of the discrete time quantum random walk on the n-bit hypercube from one corner to its opposite is polynomial in n. This gives the first exponential ...