3775 search results - page 206 / 755 » Integrating Paper and Digital Music Information Systems |
163
click to vote
GLVLSI
2006
IEEE
16 years 19 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
184
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
There exist many interrelated information sources on the Internet that can be categorized into structured (database) and semistructured (documents). A key challenge is to integrat...
171
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Recording the location of people using location-acquisition technologies, such as GPS, allows generating life patterns, which associate people to places they frequently visit. Con...
202
click to vote
ICEIS
2008
IEEE
16 years 1 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
171
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Effective diagnosis of Alzheimer's disease (AD) is of primary importance in biomedical research. Recent studies have demonstrated that neuroimaging parameters are sensitive a...