1419 search results - page 3 / 284 » Notes on Formalizing Context |
71
Voted
FLAIRS
2006
15 years 1 months ago
2006
In this paper, we will study semantics that have been used for conditionals in the area of knowledge representation and reasoning: A purely qualitative semantics based on the popu...
109
Voted
FOSAD
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...
120
Voted
BIRTHDAY
2009
Springer
14 years 10 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
113
Voted
ISMIR
2005
Springer
15 years 6 months ago
2005
Springer
This paper addresses the problem of identifying musical instruments in polyphonic music. Musical instrument identification (MII) is an improtant task in music information retriev...