2138 search results - page 335 / 428 » Logical Step-Indexed Logical Relations |
127
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listenerā...
132
click to vote
ISMIS
2003
Springer
15 years 9 months ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
152
Voted
EATIS
2007
ACM
15 years 8 months ago
2007
ACM
In this paper we propose an ontology based representation of the affective states for context aware applications that allows expressing the complex relations that are among the af...
ICCS
1995
Springer
15 years 8 months ago
1995
Springer
Thenotion of context is indispensable in discussions of meaning,but the wordcontext has often beenusedin conflicting senses. In logic, the first representation of contextas a forma...
150
Voted
MJ
2007
15 years 4 months ago
2007
With increasingly smaller feature sizes and higher on-chip densities, the power dissipation of VLSI systems has become a primary concern for designers. This paper ļ¬rst describes...