3555 search results - page 71 / 711 » Security-Critical System Development with Extended Use Cases |
112
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
112
click to vote
FATES
2003
Springer
15 years 6 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
167
click to vote
CORR
2012
Springer
13 years 9 months ago
2012
Springer
Universities and Institutions these days’ deals with issues related to with assessment of large number of students. Various evaluation methods have been adopted by examiners in ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
This article describes requirements and challenges of crossplatform multi-touch software engineering, and presents the open source framework Multi-Touch for Java (MT4j) as a solut...
115
click to vote
SIGIR
2010
ACM
15 years 5 months ago
2010
ACM
Evaluation metrics play a critical role both in the context of comparative evaluation of the performance of retrieval systems and in the context of learning-to-rank (LTR) as objec...