154 search results - page 28 / 31 » Web Interfaces for Proof Assistants |
SSDBM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. Relational database systems are becoming increasingly popular in the scientific community to support the interactive exploration of large volumes of data. In this scenar...
ASSETS
2009
ACM
14 years 1 months ago
2009
ACM
Providing blind and visually impaired people with the descriptions of key visual elements can greatly improve the accessibility of video, film and television. This project present...
LISA
2007
13 years 9 months ago
2007
Computer and network administrators are often confused or uncertain about the behavior of their networks. Traditional analysis using IP ports, addresses, and protocols are insuffi...
BMCBI
2007
13 years 7 months ago
2007
Background: Most human genes produce several transcripts with different exon contents by using alternative promoters, alternative polyadenylation sites and alternative splice site...
BMCBI
2006
13 years 7 months ago
2006
Background: A key post genomics challenge is to identify how genes in an organism come together and perform physiological functions. An important first step in this direction is t...