2410 search results - page 22 / 482 » Multiset Ordering Constraints |
182
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
131
click to vote
ENTCS
2006
15 years 4 months ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...
184
click to vote
SDM
2012
SIAM
13 years 6 months ago
2012
SIAM
Objects linking with many other objects in an information network may imply various semantic relationships. Uncovering such knowledge is essential for role discovery, data cleanin...
123
click to vote
ICCSA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper, we consider a nonlinear optimization problem with inequality constraints. The paper addresses the degenerate case when the active constraint gradients are ...