2274 search results - page 404 / 455 » Qualitative Modeling for Requirements Engineering |
167
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
Publication
We present an algorithm for multi-person tracking-bydetection
in a particle filtering framework. To address the
unreliability of current state-of-the-art object detectors, our
a...
110
click to vote
VMCAI
2010
Springer
15 years 4 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
EVOW
2010
Springer
15 years 4 months ago
2010
Springer
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
FDG
2009
ACM
15 years 4 months ago
2009
ACM
Engineering education has evolved from providing students solely with technical skills to providing them with courses that provide students with the non-technical “soft skillsâ€...