106 search results - page 4 / 22 » On Verifying Complex Properties using Symbolic Shape Analysi... |
118
Voted
VLC
2008
15 years 10 days ago
2008
Recognizing hand-sketched symbols is a definitely complex problem. The input drawings are often intrinsically ambiguous, and require context to be interpreted in a correct way. Ma...
138
Voted
SIGGRAPH
1992
ACM
15 years 4 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
214
Voted
POPL
2008
ACM
16 years 23 days ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
103
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
104
Voted
HYBRID
1998
Springer
15 years 4 months ago
1998
Springer
We discuss properties of high order neurons in competitive learning. In such neurons, geometric shapes replace the role of classic `point' neurons in neural networks. Complex ...