5159 search results - page 168 / 1032 » Structural Testing of Executables |
170
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: A detailed understanding of an RNA's correct secondary and tertiary structure is crucial to understanding its function and mechanism in the cell. Free energy mini...
176
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
174
Voted
AAAI
1994
15 years 8 months ago
1994
So far, tractable planning problems reported in the literature have been defined by syntactical restrictions. To better exploit the inherent structure in problems, however, it is ...
198
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
186
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
Objective image/video quality measures play important roles in various image/video processing applications, such as compression, communication, printing, analysis, registration, r...