6014 search results - page 515 / 1203 » Structural Testing with Use Cases |
178
click to vote
AAAI
1994
15 years 8 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
196
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Our aim is to explore the fundamental stability issues of a robotic vehicle carrying out localization, mapping, and feedback control in a perturbation-filled environment. Moti...
150
click to vote
SAC
2005
ACM
16 years 10 days ago
2005
ACM
This paper addresses single and multiple container loading problems. We propose to use dynamic prioritization to handle awkward box types. The box type with a higher priority will...
183
Voted
CF
2005
ACM
15 years 8 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
161
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
High-accuracy protein structure modeling demands accurate and very fast side chain prediction since such a procedure must be repeatedly called at each step of structure refinement....