1465 search results - page 98 / 293 » Making the Correct Mistakes |
162
click to vote
ISBI
2007
IEEE
16 years 14 days ago
2007
IEEE
We present a method for tracking and distinguishing multiple C. elegans in a video sequence, including when they are in physical contact with one another. The worms are modeled wi...
125
click to vote
ISCC
2007
IEEE
16 years 14 days ago
2007
IEEE
Even though PDAs in general—but smartcards in particular—can be trusted to keep secrets, because they have meager resources, including them in security protocols is difficult...
168
click to vote
TPHOL
2007
IEEE
16 years 13 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
150
click to vote
BIRD
2007
Springer
2007
Springer
Patch Prediction of Protein Interaction Sites: Validation of a Scoring Function for an Online Server
16 years 11 days ago
An online protein interaction server has been designed and implemented to make predictions for 256 nonhomologous protein-protein interaction sites using patch analysis. Predictions...
139
click to vote
IDA
2007
Springer
16 years 10 days ago
2007
Springer
We present a new machine learning approach to the inverse parametric sequence alignment problem: given as training examples a set of correct pairwise global alignments, find the p...