4987 search results - page 6 / 998 » Support Ordered Resolution |
92
Voted
ACIVS
2006
Springer
15 years 3 months ago
2006
Springer
We present a novel dedicated hardware system for the extraction of second-order statistical features from high-resolution images. The selected features are based on gray level co-o...
74
Voted
FUIN
2006
14 years 9 months ago
2006
We prove that negative hyper-resolution using any liftable and well-founded ordering refinement is a sound and complete procedure for answering queries in disjunctive logic program...
101
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We continue the line of research on graph compression started in [BV04], but we move our focus to the compression of social networks in a proper sense (e.g., LiveJournal): the app...
ICLP
2001
Springer
15 years 2 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
LPAR
2004
Springer
15 years 3 months ago
2004
Springer
