8486 search results - page 1504 / 1698 » Ordered Enumeration Method |
151
click to vote
CORR
2012
Springer
14 years 22 days ago
2012
Springer
In this paper we introduce a new type of pattern – a flipping correlation pattern. The flipping patterns are obtained from contrasting the correlations between items at diffe...
176
click to vote
POPL
2012
ACM
14 years 18 days ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
191
click to vote
WACV
2012
IEEE
14 years 17 days ago
2012
IEEE
A convenient way of analysing Riemannian manifolds is to embed them in Euclidean spaces, with the embedding typically obtained by flattening the manifold via tangent spaces. This...
164
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
171
click to vote
TPHOL
1997
IEEE
15 years 9 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...