737 search results - page 122 / 148 » Computer science projects with music |
ESEC
1997
Springer
14 years 1 months ago
1997
Springer
Fifteen teams recently used the WinWin Spiral Model to perform the system engineering and architecting of a set of multimedia applications for the USC Library Information Systems....
SWAT
1992
Springer
14 years 27 days ago
1992
Springer
This paper presents parallel algorithms for priority queue operations on a p-processor EREWPRAM. The algorithms are based on a new data structure, the Min-path Heap (MH), which is...
ESWS
2007
Springer
14 years 22 days ago
2007
Springer
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
LICS
1989
IEEE
14 years 10 days ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
DESRIST
2009
Springer
14 years 3 days ago
2009
Springer
As a result of the rigor vs. relevance debate, researchers who focus on design research on organizational problems are beginning to focus on their research methodology’s rigor. ...