We propose a speech-based conversation environment called Voice Cafe for facilitating dynamic knowledge interaction. Dynamic knowledge interaction is a key concept for creative in...
This paper provides an overview of efforts to create an informatics infrastructure for the biodiversity community. A vast amount of biodiversity information exists, but no compreh...
Fault Tolerance is an increasing challenge for integrated circuits due to semiconductor technology scaling. This paper looks at how artificial evolution may be tuned to the creat...
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
We present an overview of the VL approach to promote research and education in developing countries and to help reduce the technology gap of the digital divide. We discuss softwar...