4047 search results - page 781 / 810 » The Discrete Basis Problem |
131
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
124
Voted
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
125
Voted
ICA
2004
Springer
15 years 8 months ago
2004
Springer
The acoustic environment poses at least two important challenges. First, animals must localise sound sources using a variety of binaural and monaural cues; and second they must sep...
120
Voted
ICARIS
2004
Springer
15 years 8 months ago
2004
Springer
MHC molecules, also known in the human as human leukocyte antigens (HLA), display peptides on antigen presenting cell surfaces for subsequent T cell recognition. Identification of ...
120
Voted
ISMIR
2004
Springer
15 years 8 months ago
2004
Springer
Measuring the similarity between rhythms is a fundamental problem in computational music theory, with many applications such as music information retrieval and copyright infringem...