677 search results - page 115 / 136 » Dependent Types from Counterexamples |
135
Voted
ANLP
2000
15 years 5 months ago
2000
This paper explores the problem of identifying sentence boundaries in the transcriptions produced by automatic speech recognition systems. An experiment which determines the level...
145
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: A molecular network perspective forms the foundation of systems biology. A common practice in analyzing protein-protein interaction (PPI) networks is to perform networ...
164
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: This work explores the quantitative characteristics of the local transcriptional regulatory network based on the availability of time dependent gene expression data se...
135
Voted
JUCS
2008
15 years 3 months ago
2008
: Nowadays, while large-sized multimedia objects are becoming very popular throughout the Internet, one of the important issues appears to be the acceleration of content delivery n...
130
Voted
SIGECOM
2008
ACM
15 years 3 months ago
2008
ACM
Trust between a pair of users is an important piece of information for users in an online community (such as electronic commerce websites and product review websites) where users ...