3319 search results - page 447 / 664 » Type Theoretical Databases |
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
BeatBoxing is a type of vocal percussion, where musicians use their lips, cheeks, and throat to create different beats. It is commonly used by hiphop and rap artists. In this pape...
182
click to vote
ISESE
2003
IEEE
15 years 9 months ago
2003
IEEE
A software development project coordinates work by using work items that represent customer, tester, and developer found defects, enhancements, and new features. We set out to fac...
120
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
In this paper it is explained what Knowledge Management (KM) is and why it will play an important role in the future. This implies that KM is indeed more than just the sophisticate...
149
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes the design and implementation of an embedded-type XML storage and retrieval system which is built on top of relational databases. The proposed system stores ea...
130
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...