5128 search results - page 259 / 1026 » Discrete Component Analysis |
207
click to vote
CJ
2010
15 years 4 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
160
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
203
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
A novel shape based segmentation approach is proposed by modifying the external energy component of a deformable model. The proposed external energy component depends not only on t...
154
click to vote
COMPGEOM
2004
ACM
16 years 5 days ago
2004
ACM
We prove that the lines tangent to four possibly intersecting convex polyhedra in 3 with n edges in total form Θ(n2 ) connected components in the worst case. In the generic ca...
161
click to vote
COMPGEOM
2004
ACM
16 years 5 days ago
2004
ACM
We propose a strategy to decompose a polygon, containing zero or more holes, into “approximately convex” pieces. For many applications, the approximately convex components of ...