5159 search results - page 302 / 1032 » Structural Testing of Executables |
214
click to vote
EAAI
2008
15 years 7 months ago
2008
: In real life scenarios there is often the need for modelling conditional plans where external events determgine the actual execution sequence. Conditional Temporal Problems (CTPs...
174
click to vote
CONCURRENCY
2007
15 years 7 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
225
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Owing to rapid expansion of protein structure databases in recent years, methods of structure comparison are becoming increasingly effective and important in revealing...
216
click to vote
BMCBI
2004
15 years 7 months ago
2004
Background: RNA secondary structure prediction methods based on probabilistic modeling can be developed using stochastic context-free grammars (SCFGs). Such methods can readily co...
155
click to vote
ACL
1998
15 years 8 months ago
1998
This study exploits statistical redundancy inherent in natural language to automatically predict scores for essays. We use a hybrid feature identification method, including syntac...