1438 search results - page 7 / 288 » An Expressive Extension of TLC |
AAAI
2006
13 years 10 months ago
2006
The research described in this paper focuses on global tempo transformations of monophonic audio recordings of saxophone jazz performances. More concretely, we have investigated t...
ACSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
With the recent advent of dynamically extensible software systems, in which software extensions may be dynamically loaded into the address space of a core application to augment i...
CI
2000
13 years 8 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
DBPL
1993
Springer
14 years 20 days ago
1993
Springer
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
FUZZIEEE
2007
IEEE
14 years 2 months ago
2007
IEEE
— Possibilistic logic is essentially a formalism for handling qualitative uncertainty with an inference machinery that remains close to the one of classical logic. It is capable ...