4270 search results - page 330 / 854 » A Permutation Approach to Validation |
198
click to vote
EUROMED
2010
15 years 5 months ago
2010
Digital cultural heritage in interactive form can take different shapes. It can be either in the form of interactive virtual representations of non-digital objects like buildings o...
168
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Test cost minimisation approaches have traditionally been devoted to minimising "execution costs", while maximising coverage or reliability. However, in a runti...
198
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
191
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...
224
click to vote
MICCAI
2008
Springer
16 years 25 days ago
2008
Springer
Accurate estimation and tracking of dynamic tissue deformation is important to motion compensation, intra-operative surgical guidance and navigation in minimally invasive surgery. ...