Sciweavers

2351 search results - page 237 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
WSC
2008
15 years 8 months ago
Comparison of bayesian priors for highly reliable limit models
Limit standards are probability interval requirements for proportions. Simulation literature has focused on finding the confidence interval of the population proportion, which is ...
Roy R. Creasey Jr., K. Preston White, Linda B. Wri...
ISIM
2007
15 years 7 months ago
Formal Computation Independent Model of the Problem Domain within the MDA
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
Janis Osis, Erika Asnina, Andrejs Grave
ISCAPDCS
2001
15 years 7 months ago
Branch Prediction of Conditional Nested Loops through an Address Queue
-Multi-dimensional applications, such as image processing and seismic analysis, usually require the optimized performance obtained from instruction-level parallelism. The critical ...
Zhigang Jin, Nelson L. Passos, Virgil Andronache
SACMAT
2010
ACM
15 years 6 months ago
On the definition of role mining
There have been many approaches proposed for role mining. However, the problems solved often differ due to a lack of consensus on the formal definition of the role mining problem....
Mario Frank, Joachim M. Buhmann, David A. Basin
AROBOTS
2006
119views more  AROBOTS 2006»
15 years 5 months ago
A Discussion of Simultaneous Localization and Mapping
This paper aims at a discussion of the structure of the SLAM problem. The analysis is not strictly formal but based both on informal studies and mathematical derivation. The first ...
Udo Frese