215 search results - page 37 / 43 » Church-Rosser Made Easy |
ERCIMDL
2009
Springer
14 years 1 days ago
2009
Springer
Curated databases are databases that are populated and updated with a great deal of human effort. Most reference works that one traditionally found on the reference shelves of li...
SEMWEB
2001
Springer
13 years 12 months ago
2001
Springer
Metadata are widely used in order to fully exploit information resources available on corporate intranets or the Internet. The Resource Description Framework (RDF) aims at facilit...
WACC
1999
ACM
13 years 11 months ago
1999
ACM
Electronic conversations often seem less polite than spoken conversations. The usual explanation for this is that people who are not physically copresent become depersonalized and...
VISUALIZATION
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper describes tools and techniques for the exploration of geo-scientific data from the oil and gas domain in stereoscopic virtual environments. The two main sources of data...
HPCA
1998
IEEE
13 years 11 months ago
1998
IEEE
Over the past few years there has been increased interest in building custom computing machines (CCMs) as a way of achieving very high performance on specific problems. The advent...