3228 search results - page 538 / 646 » Computationally Sound Proofs |
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
Academics and industry professionals alike have long been interested in developing a nuanced and empirically sound typography of online gamers. Designers and engineers are aware o...
ICWL
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes a system for the animation of algorithms on an electronic chalkboard. The instructor teaching an algorithm can enter data directly through a drawing- the algor...
ICCS
1999
Springer
14 years 1 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
FCCM
1998
IEEE
14 years 1 months ago
1998
IEEE
Over the past year we have been exploring the use of FPGA-based custom computing machines for several sonar beamforming applications, including time-domain beamforming[1], frequen...
BIRTHDAY
1997
Springer
14 years 1 months ago
1997
Springer
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...