1999 search results - page 107 / 400 » Dependently Typed Grammars |
191
click to vote
ISMIR
2005
Springer
15 years 11 months ago
2005
Springer
This paper addresses the problem of identifying musical instruments in polyphonic music. Musical instrument identiļ¬cation (MII) is an improtant task in music information retriev...
158
click to vote
SACMAT
2003
ACM
15 years 11 months ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBACā...
176
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...
167
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
A distributed software system's deployment architecture can have a significant impact on the system's dependability. Dependability is a function of various system paramet...
142
click to vote
ICSM
2008
IEEE
16 years 20 days ago
2008
IEEE
More than 90% of the cost of software is due to maintenance and evolution. Understanding the evolution of large software systems is a complex problem, which requires the use of va...