4762 search results - page 576 / 953 » About the use of protein models |
213
Voted
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
The study proposes a novel scheme to extract and recognize the caption contents of various sports captions. A caption extraction process based on an iteratively temporal averaging...
170
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
200
click to vote
FMSP
2000
ACM
15 years 11 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
168
Voted
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
157
Voted
SEC
2008
15 years 8 months ago
2008
Every time a user uses the Internet, a wealth of personal information is revealed, either voluntarily or involuntarily. This often causes privacy breaches, specially if the informa...