9387 search results - page 1244 / 1878 » An Optimal Process Model for a Real Time Process |
214
click to vote
DIS
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we aim at automatically adjusting the difficulty of computer games by clustering players into different types and supervised prediction of the type from short traces ...
184
click to vote
GLVLSI
2009
IEEE
16 years 2 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
183
click to vote
FCCM
2008
IEEE
16 years 1 months ago
2008
IEEE
The recent turmoil in global credit markets has demonstrated the need for advanced modelling of credit risk, which can take into account the effects of changing economic condition...
174
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In psychology the ‘A not B’ error, whereby infants perseverate in reaching to the location where a toy was previously hidden after it has been moved to a new location...
197
click to vote
SEKE
1993
Springer
15 years 11 months ago
1993
Springer
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...