274 search results - page 13 / 55 » mc 2003 |
HICSS
2003
IEEE
14 years 23 days ago
2003
IEEE
AMKM
2003
Springer
14 years 21 days ago
2003
Springer
In this article we describe a computational architecture called MC2 that brings together a set of tools that contribute to the knowledge management process by allowing for the cre...
IJCAI
2003
13 years 8 months ago
2003
Previous algorithms to compute lexical chains suffer either from a lack of accuracy in word sense disambiguation (WSD) or from computational inefficiency. In this paper, we presen...
CAV
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
CGI
2003
IEEE
14 years 23 days ago
2003
IEEE
We have created software that shows a musician the pitch of the notes he or she is playing or singing, in real time and very accurately. This is useful as a teaching aid for begin...