83 search results - page 1 / 17 » Introduction to partially ordered patterns |
DAM
2007
13 years 10 months ago
2007
ORDER
2002
13 years 10 months ago
2002
It is known that the "pattern containment" order on permutations is not a partial well-order. Nevertheless, many naturally defined subsets of permutations are partially ...
SDM
2012
SIAM
12 years 1 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...
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
CADE
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...