7066 search results - page 310 / 1414 » Contact Relations with Applications |
165
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
175
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
182
click to vote
DMIN
2006
15 years 8 months ago
2006
- Clustering of data is an important data mining application. One of the problems with traditional partitioning clustering methods is that they partition the data into hard bound n...
156
Voted
WCE
2007
15 years 7 months ago
2007
Abstract– We review the properties of the generalized entropies in our previous papers in the following way. (1)A generalized Fannes’ inequality is shown by the axiomatically c...
281
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
A method for affine rectification of a plane exploiting knowledge of relative scale changes is presented. The rectifying transformation is fully specified by the relative scale cha...