3082 search results - page 419 / 617 » Deviation Analysis: A New Use of Model Checking |
226
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
191
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we want to exploit the knowledge obtained from those detected objects which are incorporated into the background model since they cease their movement. These motionl...
178
click to vote
COMPSAC
2008
IEEE
16 years 26 days ago
2008
IEEE
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...
177
click to vote
ACL
2010
15 years 4 months ago
2010
A number of results in the study of realtime sentence comprehension have been explained by computational models as resulting from the rational use of probabilistic linguistic info...
192
click to vote
ACL
2009
15 years 4 months ago
2009
Recent advances in functional Magnetic Resonance Imaging (fMRI) offer a significant new approach to studying semantic representations in humans by making it possible to directly o...