3742 search results - page 667 / 749 » On the Use of Formal Techniques for Validation |
215
click to vote
IFIP
2005
Springer
15 years 11 months ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
173
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
187
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The statistical modeling of biomedical corpora could yield integrated, coarse-to-fine views of biological phenomena that complement discoveries made from analysis of m...
160
click to vote
IJIS
2002
15 years 6 months ago
2002
ior-based robots, planning is necessary to elaborate abstract plans that resolve complex navigational tasks. Usually maps of the environment are used to plan the robot motion and t...
155
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
This case study describes ethnographic interviews with vehicle buyers to learn how they make purchase decisions. The research was conducted for J. Walter Thompson (JWT), the digit...