6014 search results - page 350 / 1203 » Structural Testing with Use Cases |
134
click to vote
VL
2008
IEEE
15 years 11 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
131
Voted
ICRE
1996
IEEE
15 years 9 months ago
1996
IEEE
This paper discusses a technique to structure utterance records of the meetings for requirements elicitation based on speech act theory. To elicit requirements to the system to be...
151
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
We present a novel variational method for the simultaneous estimation of dense scene flow and structure from stereo sequences. In contrast to existing approaches that rely on a ful...
145
Voted
JLP
2006
15 years 4 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
126
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
We study the multi-frame structure from motion problem when the camera translates on a plane with small baselines and arbitrary rotations. This case shows up in many practical appl...