10051 search results - page 1528 / 2011 » A Dynamic Separator Algorithm |
167
click to vote
LISP
2008
15 years 6 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
149
Voted
NAR
2008
15 years 6 months ago
2008
Given an input Protein Data Bank file (PDB) for a protein or RNA molecule, LocalMove is a web server that determines an on-lattice representation for the input biomolecule. The we...
147
Voted
PAMI
2008
15 years 6 months ago
2008
Mixture of Gaussians (MoG) model is a useful tool in statistical learning. In many learning processes that are based on mixture models, computational requirements are very demandin...
143
Voted
NAR
2006
15 years 6 months ago
2006
CorGen is a web server that measures long-range correlations in the base composition of DNA and generates random sequences with the same correlation parameters. Long-range correla...
172
click to vote
PRL
2006
15 years 6 months ago
2006
A new computational model for active visual attention is introduced in this paper. The method extracts motion and shape features from video image sequences, and integrates these f...