Sciweavers

14244 search results - page 325 / 2849
» Modeling Program Predictability
Sort
View
133
Voted
ICTAC
2009
Springer
15 years 10 months ago
Input-Output Model Programs
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
Margus Veanes, Nikolaj Bjørner
ICIC
2009
Springer
15 years 10 months ago
Function Sequence Genetic Programming
Genetic Programming(GP) can obtain a program structure to solve complex problem. This paper presents a new form of Genetic Programming, Function Sequence Genetic Programming (FSGP)...
Shixian Wang, Yuehui Chen, Peng Wu
115
Voted
ICIC
2007
Springer
15 years 9 months ago
Evolutionary Ensemble for In Silico Prediction of Ames Test Mutagenicity
Driven by new regulations and animal welfare, the need to develop in silico models has increased recently as alternative approaches to safety assessment of chemicals without animal...
Huanhuan Chen, Xin Yao
110
Voted
KES
2007
Springer
15 years 9 months ago
Predictive and Contextual Feature Separation for Bayesian Metanetworks
Bayesian Networks are proven to be a comprehensive model to describe causal relationships among domain attributes with probabilistic measure of conditional dependency. However, dep...
Vagan Y. Terziyan
135
Voted
AVSS
2005
IEEE
15 years 9 months ago
Look there! Predicting where to look for motion in an active camera network
A framework is proposed that answers the following question: if a moving object is observed by one camera in a pan-tilt-zoom (PTZ) camera network, what other camera(s) might be fo...
Ugur Murat Erdem, Stan Sclaroff