215 search results - page 22 / 43 » State-Transition Computation Models and Program Correctness ... |
113
click to vote
ISMB
1996
15 years 3 months ago
1996
For transmembrane proteins experimental determina-tion of three-dimensional structure is problematic. However, membrane proteins have important impact for molecular biology in gen...
103
click to vote
COMPUTER
1999
15 years 1 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
109
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
112
Voted
SIGSOFT
1996
ACM
15 years 6 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
182
click to vote
JMLR
2012
13 years 4 months ago
2012
Models such as pairwise conditional random fields (CRFs) are extremely popular in computer vision and various other machine learning disciplines. However, they have limited expre...