1174 search results - page 101 / 235 » Functional Trees |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
CSFW
2012
IEEE
12 years 14 days ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
ESANN
2008
13 years 11 months ago
2008
In this paper the application of reinforcement learning to Tetris is investigated, particulary the idea of temporal difference learning is applied to estimate the state value funct...
SIGIR
2003
ACM
14 years 3 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...
BMCBI
2006
13 years 10 months ago
2006
Background: We have recently introduced a predictive framework for studying gene transcriptional regulation in simpler organisms using a novel supervised learning algorithm called...