6704 search results - page 541 / 1341 » Testing Scenario-Based Models |
238
Voted
BMCBI
2007
15 years 7 months ago
2007
Background: The functions of human cells are carried out by biomolecular networks, which include proteins, genes, and regulatory sites within DNA that encode and control protein e...
205
Voted
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
253
Voted
DAC
2011
ACM
14 years 6 months ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
213
click to vote
ICCV
2003
IEEE
16 years 9 months ago
2003
IEEE
Under the Lambertian reflectance model, uncalibrated photometric stereo with unknown light sources is inherently ambiguous. In this paper, we consider the use of a more general re...
198
Voted
BICOB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. With the availability of hundreds and soon-to-be thousands of complete genomes, the construction of genome-scale metabolic models for these organisms has attracted much a...