312 search results - page 33 / 63 » Structure Information in Decision Trees and Similar Formalis... |
119
click to vote
DAC
1994
ACM
15 years 1 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
TKDE
2011
14 years 4 months ago
2011
—The need to consolidate the information contained in heterogeneous data sources has been widely documented in recent years. In order to accomplish this goal, an organization mus...
ICTAC
2009
Springer
14 years 7 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
74
Voted
BMCBI
2007
14 years 9 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
89
Voted
SIGIR
2003
ACM
15 years 2 months ago
2003
ACM
Question classification is very important for question answering. This paper presents our research work on automatic question classification through machine learning approaches. W...