118 search results - page 24 / 24 » Implementation of State Elimination Using Heuristics |
LCTRTS
2010
Springer
14 years 4 days ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
ECAI
2004
Springer
13 years 9 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
SAC
2003
ACM
13 years 10 months ago
2003
ACM
DNA microarray hybridisation is a popular high throughput technique in academic as well as industrial functional genomics research. In this paper we present a new approach to auto...