470 search results - page 58 / 94 » Test Case Generation Based on State and Activity Models |
ESWA
2010
14 years 11 months ago
2010
This study investigates how specification of return distribution for REIT influences the performance of volatility forecasting using three GARCH models (GARCH-N, GARCH-ST and GARC...
117
Voted
CLIMA
2010
15 years 1 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
128
click to vote
ATS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
102
click to vote
JAR
2008
15 years 14 days ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
86
Voted
ENGL
2007
15 years 14 days ago
2007
– This paper analyses the results obtained when different topologies of 1-Dimensional Kohonen Networks where used to classify color pictures taken to Popocatépetl Volcano (locat...