5457 search results - page 696 / 1092 » Clinical requirements engineering |
212
click to vote
FUN
2010
Springer
16 years 11 days ago
2010
Springer
We propose a model for level-ups in Heroes of Might and Magic III, and give an O 1 ε2 ln 1 δ learning algorithm to estimate the probabilities of secondary skills induced by any ...
197
click to vote
CDC
2009
IEEE
16 years 8 days ago
2009
IEEE
Abstract— This paper presents a methodology for the decentralised control of multiple 3-dimensional nonholonomic agents. The proposed control scheme is based on Navigation Functi...
157
click to vote
COMPSAC
2009
IEEE
16 years 8 days ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
157
click to vote
COMPSAC
2009
IEEE
16 years 8 days ago
2009
IEEE
Abstract—We define here a simple, low level control procedure definition, to support application implementation on a particular multiprocessor platform, namely the SegBus segme...
186
click to vote
FASE
2009
Springer
16 years 5 days ago
2009
Springer
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...