12670 search results - page 373 / 2534 » Requirements Modeling |
155
click to vote
WACV
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel algorithm for online structure and motion estimation. The algorithm works for general camera models and minimizes object space error, it does not rely ...
168
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
The proliferation of complex and fast-spreading intrusions not only requires advances in intrusion detection mechanisms but also demands development of sophisticated and automated...
174
click to vote
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Consider a collection of random variables attached to the vertices of a graph. The reconstruction problem requires to estimate one of them given ‘far away’ observations. Sever...
171
click to vote
OOPSLA
2007
Springer
16 years 28 days ago
2007
Springer
We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mappin...
158
click to vote
TACAS
2007
Springer
16 years 28 days ago
2007
Springer
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...