9405 search results - page 1351 / 1881 » Computing a Model of Set Theory |
225
click to vote
BIRTHDAY
2004
Springer
16 years 13 days 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...
196
click to vote
ISMIR
2004
Springer
16 years 12 days 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...
208
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
231
click to vote
CF
2007
ACM
15 years 11 months ago
2007
ACM
In the life sciences, genomic databases for sequence search have been growing exponentially in size. As a result, faster sequencesearch algorithms to search these databases contin...
203
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Emotion recognition from facial images is a very active research topic in human computer interaction (HCI). However, most of the previous approaches only focus on the fro...