Sciweavers

2317 search results - page 336 / 464
» Model based testing for agent systems
Sort
View
GECCO
2004
Springer
15 years 3 months ago
Program Evolution by Integrating EDP and GP
This paper discusses the performance of a hybrid system which consists of EDP and GP. EDP, Estimation of Distribution Programming, is the program evolution method based on the prob...
Kohsuke Yanai, Hitoshi Iba
EMNLP
2007
14 years 11 months ago
Hierarchical System Combination for Machine Translation
Given multiple translations of the same source sentence, how to combine them to produce a translation that is better than any single system output? We propose a hierarchical syste...
Fei Huang, Kishore Papineni
ICHIT
2009
Springer
15 years 4 months ago
Middleware-based distributed systems software process
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
Liu Jingyong, Zhong Yong, Chen Yong, Zhang Lichen
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 4 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
ICCBR
2005
Springer
15 years 3 months ago
Autonomous Internal Control System for Small to Medium Firms
Small to medium enterprises require an internal control mechanism in order to monitor their modus operandi and to analyse whether they are achieving their goals. A tool for the dec...
María Lourdes Borrajo Diz, Juan M. Corchado...