1728 search results - page 154 / 346 » Advanced empirical testing |
159
click to vote
PAAMS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...
282
click to vote
ICIC
2010
Springer
15 years 2 months ago
2010
Springer
Digital music editing is a standard process in music production for correcting mistakes and enhancing quality, but this is tedious and timeconsuming. The Intelligent Music Editor, ...
129
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Free/Open Source Software (FOSS) development is not the same an Software Engineering (SE). Why this is so is unclear and open to various interpretations. Both address the challeng...
159
click to vote
AAAI
2010
15 years 1 months ago
2010
Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The tech...
162
click to vote
AISS
2010
15 years 1 months ago
2010
This paper presents the artificial intelligence techniques to control a proton exchange membrane fuel cell system process using particularly a methodology of dynamic neural networ...