Sciweavers

1266 search results - page 105 / 254
» An Overview of Repository Technology
Sort
View
KES
2000
Springer
14 years 23 days ago
Speech-based conversation environment for dynamic knowledge interaction
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...
T. Fukuhara, T. Nishida
VLDB
2000
ACM
102views Database» more  VLDB 2000»
14 years 22 days ago
Biodiversity Informatics Infrastructure: An Information Commons for the Biodiversity Community
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...
Gladys A. Cotter, Barbara T. Bauldock
AHS
2007
IEEE
208views Hardware» more  AHS 2007»
13 years 11 months ago
Evolving Redundant Structures for Reliable Circuits - Lessons Learned
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...
Asbjørn Djupdal, Pauline C. Haddow
DAGSTUHL
2001
13 years 10 months ago
Extended Static Checking: A Ten-Year Perspective
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...
K. Rustan M. Leino
DATASCIENCE
2002
115views more  DATASCIENCE 2002»
13 years 9 months ago
Virtual laboratory strategies for data sharing, communications and development
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...
Enrique Canessa, Carlo Fonda, Sandro M. Radicella