4966 search results - page 680 / 994 » its 2010 |
169
click to vote
SOCO
2010
Springer
15 years 5 months ago
2010
Springer
This article presents an algorithm for the automatic detection of circular shapes from complicated and noisy images without using the conventional Hough transform methods. The prop...
196
click to vote
SOSYM
2010
15 years 5 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
157
click to vote
SPIEVIP
2010
15 years 5 months ago
2010
Ship detection from satellite imagery is something that has great utility in various communities. Knowing where ships are and their types provides useful intelligence information....
196
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
188
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...