3954 search results - page 676 / 791 » Image-based Model Completion |
131
Voted
ICSE
2009
IEEE-ACM
15 years 7 days ago
2009
IEEE-ACM
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
149
Voted
ICST
2009
IEEE
15 years 7 days ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
116
click to vote
CJ
2010
14 years 12 months ago
2010
A policy for a minimal reactive agent is a set of condition-action rules used to determine its response to perceived environmental stimuli. When the policy pre-disposes the agent t...
128
click to vote
FUIN
2010
14 years 12 months ago
2010
In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T n...
143
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we propose a novel framework for contour based object detection. Compared to previous work, our contribution is three-fold. 1) A novel shape matching scheme suitabl...