202 search results - page 33 / 41 » Functional Test Generation Using Efficient Property Clusteri... |
BMCBI
2010
14 years 9 months ago
2010
Background: Gene silencing using exogenous small interfering RNAs (siRNAs) is now a widespread molecular tool for gene functional study and new-drug target identification. The key...
IADIS
2008
14 years 11 months ago
2008
Programming and developing of small scale software applications can be accomplished with simple command-line compilers that can be used to compile, test, and execute code generati...
COOP
2004
14 years 11 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
171
click to vote
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
Markov random field (MRF, CRF) models are popular in
computer vision. However, in order to be computationally
tractable they are limited to incorporate only local interactions
a...
PAMI
2007
14 years 9 months ago
2007
—The identification of a person on the basis of scanned images of handwriting is a useful biometric modality with application in forensic and historic document analysis and const...