3319 search results - page 309 / 664 » Type Theoretical Databases |
169
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
—In this paper we study the network structure in music and attempt to compose music artificially. Networks are constructed with nodes and edges corresponding to musical notes an...
160
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
164
click to vote
FOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We show that for k ≥ 3 even the Ω(n) level of the Lasserre hierarchy cannot disprove a random k-CSP instance over any predicate type implied by k-XOR constraints, for example ...
151
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes an approach for incorporating externally specified aggregate ratings information into certain types of collaborative filtering (CF) methods. For a statistic...
180
click to vote
IMSCCS
2007
IEEE
16 years 25 days ago
2007
IEEE
Ad hoc networks face the problem of improving networks’ capacity and scalability. The scalability problem can be properly solved through physical hierarchy networking. In this p...