Matches in SemOpenAlex for { <https://semopenalex.org/work/W3165117268> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W3165117268 abstract "We study the problem of learning a finite union of integer (axis-aligned) hypercubes over the d-dimensional integer lattice, i.e., whose edges are parallel to the coordinate axes. This is a natural generalization of the classic problem in the computational learning theory of learning rectangles. We provide a learning algorithm with access to a minimally adequate teacher (i.e. membership and equivalence oracles) that solves this problem in polynomial-time, for any fixed dimension d. Over a non-fixed dimension, the problem subsumes the problem of learning DNF boolean formulas, a central open problem in the field. We have also provided extensions to handle infinite hypercubes in the union, as well as showing how subset queries could improve the performance of the learning algorithm in practice. Our problem has a natural application to the problem of monadic decomposition of quantifier-free integer linear arithmetic formulas, which has been actively studied in recent years. In particular, a finite union of integer hypercubes correspond to a finite disjunction of monadic predicates over integer linear arithmetic (without modulo constraints). Our experiments suggest that our learning algorithms substantially outperform the existing algorithms." @default.
- W3165117268 created "2021-06-07" @default.
- W3165117268 creator A5031640492 @default.
- W3165117268 creator A5034129725 @default.
- W3165117268 creator A5087092384 @default.
- W3165117268 date "2021-05-27" @default.
- W3165117268 modified "2023-09-27" @default.
- W3165117268 title "Learning Union of Integer Hypercubes with Queries (Technical Report)." @default.
- W3165117268 cites W1551980872 @default.
- W3165117268 cites W1964839993 @default.
- W3165117268 cites W1989445634 @default.
- W3165117268 cites W2014075600 @default.
- W3165117268 cites W2018908820 @default.
- W3165117268 cites W2019184769 @default.
- W3165117268 cites W2027450089 @default.
- W3165117268 cites W2062922048 @default.
- W3165117268 cites W2075333420 @default.
- W3165117268 cites W2126533781 @default.
- W3165117268 cites W2139709458 @default.
- W3165117268 cites W2140673956 @default.
- W3165117268 cites W2162593546 @default.
- W3165117268 cites W2267097961 @default.
- W3165117268 cites W2276356546 @default.
- W3165117268 cites W2478824155 @default.
- W3165117268 cites W2676873924 @default.
- W3165117268 cites W2767816240 @default.
- W3165117268 cites W2888796762 @default.
- W3165117268 cites W2919513305 @default.
- W3165117268 cites W3038336498 @default.
- W3165117268 cites W98666333 @default.
- W3165117268 hasPublicationYear "2021" @default.
- W3165117268 type Work @default.
- W3165117268 sameAs 3165117268 @default.
- W3165117268 citedByCount "0" @default.
- W3165117268 crossrefType "posted-content" @default.
- W3165117268 hasAuthorship W3165117268A5031640492 @default.
- W3165117268 hasAuthorship W3165117268A5034129725 @default.
- W3165117268 hasAuthorship W3165117268A5087092384 @default.
- W3165117268 hasConcept C11413529 @default.
- W3165117268 hasConcept C114614502 @default.
- W3165117268 hasConcept C118615104 @default.
- W3165117268 hasConcept C134306372 @default.
- W3165117268 hasConcept C177148314 @default.
- W3165117268 hasConcept C199360897 @default.
- W3165117268 hasConcept C2780069185 @default.
- W3165117268 hasConcept C33923547 @default.
- W3165117268 hasConcept C41008148 @default.
- W3165117268 hasConcept C50820777 @default.
- W3165117268 hasConcept C56086750 @default.
- W3165117268 hasConcept C80444323 @default.
- W3165117268 hasConcept C97137487 @default.
- W3165117268 hasConceptScore W3165117268C11413529 @default.
- W3165117268 hasConceptScore W3165117268C114614502 @default.
- W3165117268 hasConceptScore W3165117268C118615104 @default.
- W3165117268 hasConceptScore W3165117268C134306372 @default.
- W3165117268 hasConceptScore W3165117268C177148314 @default.
- W3165117268 hasConceptScore W3165117268C199360897 @default.
- W3165117268 hasConceptScore W3165117268C2780069185 @default.
- W3165117268 hasConceptScore W3165117268C33923547 @default.
- W3165117268 hasConceptScore W3165117268C41008148 @default.
- W3165117268 hasConceptScore W3165117268C50820777 @default.
- W3165117268 hasConceptScore W3165117268C56086750 @default.
- W3165117268 hasConceptScore W3165117268C80444323 @default.
- W3165117268 hasConceptScore W3165117268C97137487 @default.
- W3165117268 hasLocation W31651172681 @default.
- W3165117268 hasOpenAccess W3165117268 @default.
- W3165117268 hasPrimaryLocation W31651172681 @default.
- W3165117268 hasRelatedWork W1486596807 @default.
- W3165117268 hasRelatedWork W1542316035 @default.
- W3165117268 hasRelatedWork W1575339642 @default.
- W3165117268 hasRelatedWork W1587836947 @default.
- W3165117268 hasRelatedWork W1604830477 @default.
- W3165117268 hasRelatedWork W188218053 @default.
- W3165117268 hasRelatedWork W2006834720 @default.
- W3165117268 hasRelatedWork W2062922048 @default.
- W3165117268 hasRelatedWork W2072341142 @default.
- W3165117268 hasRelatedWork W2164578838 @default.
- W3165117268 hasRelatedWork W2295651994 @default.
- W3165117268 hasRelatedWork W2341570704 @default.
- W3165117268 hasRelatedWork W2610692559 @default.
- W3165117268 hasRelatedWork W2963179814 @default.
- W3165117268 hasRelatedWork W2963685860 @default.
- W3165117268 hasRelatedWork W3002117425 @default.
- W3165117268 hasRelatedWork W3090610268 @default.
- W3165117268 hasRelatedWork W3098738782 @default.
- W3165117268 hasRelatedWork W3161168936 @default.
- W3165117268 hasRelatedWork W3186357476 @default.
- W3165117268 isParatext "false" @default.
- W3165117268 isRetracted "false" @default.
- W3165117268 magId "3165117268" @default.
- W3165117268 workType "article" @default.