28445 search results - page 294 / 5689 » Anatomically based modeling |
108
click to vote
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
101
click to vote
FDG
2009
ACM
15 years 7 months ago
2009
ACM
We propose a novel evaluation methodology for intelligent camera control systems based on established techniques of measuring story comprehension from cognitive psychology. The pr...
107
click to vote
CSSE
2008
IEEE
15 years 7 months ago
2008
IEEE
—Risk assessment is a very important tool to acquire a present and future security status of the network information system. Many risk assessment approaches consider the present ...
IEEEARES
2008
IEEE
15 years 7 months ago
2008
IEEE
The ubiquity of web applications has led to an increased focus on the development of attacks targeting these applications. One particular type of attack that has recently become p...
100
Voted
ISBI
2007
IEEE
15 years 7 months ago
2007
IEEE
Quantifying the motion and deformation of large numbers of cells through image sequences obtained with fluorescence microscopy is a recurrent task in many biological studies. Aut...