338 search results - page 49 / 68 » On the Complexity of Termination Inference for Processes |
101
click to vote
BMCBI
2010
14 years 4 months ago
2010
Background: DNA Microarrays have become the standard method for large scale analyses of gene expression and epigenomics. The increasing complexity and inherent noisiness of the ge...
79
Voted
LICS
1989
IEEE
15 years 1 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
The earlier in the software process a fault is detected, the cheaper the cost of fixing the fault. Automated fault detection tools can provide developers with information througho...
79
Voted
SEMCO
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper, we present an approach which, given a knowledge base and an appropriate text corpus, automatically induces patterns which can be used to query the knowledge base. W...
CIMCA
2006
IEEE
15 years 1 months ago
2006
IEEE
Structure identification is one of the most significant steps in Fuzzy modeling of a complex system. Efficient structure identification requires good approximation of the effectiv...