1154 search results - page 119 / 231 » Mathematizing C concurrency |
WSC
2007
13 years 11 months ago
2007
This tutorial explains the basics of linear regression metamodels—especially low-order polynomials—and the corresponding statistical designs—namely, fractional factorial des...
WSC
2008
13 years 11 months ago
2008
Design Of Experiments (DOE) is needed for experiments with real-life systems, and with either deterministic or random simulation models. This contribution discusses the different ...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Both for developing human-like virtual agents and for developing intelligent systems that make use of knowledge about the emotional state of the user, it is important to model the ...
LANMR
2007
13 years 10 months ago
2007
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
PTS
2007
13 years 10 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...