843 search results - page 155 / 169 » Codes and Projective Multisets |
118
Voted
SIGSOFT
2003
ACM
16 years 12 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
106
click to vote
ISBI
2004
IEEE
16 years 11 days ago
2004
IEEE
SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. ...
115
click to vote
ISBI
2004
IEEE
16 years 11 days ago
2004
IEEE
Proton computed tomography (pCT) has the potential to improve the accuracy of proton treatment planning, which is currently based on x-ray computed tomography (xCT). However, at t...
101
click to vote
WWW
2008
ACM
16 years 10 days ago
2008
ACM
As the World Wide Web in China grows rapidly, mining knowledge in Chinese Web pages becomes more and more important. Mining Web information usually relies on the machine learning ...
106
click to vote
WWW
2008
ACM
16 years 10 days ago
2008
ACM
Easy reuse and integration of declaratively described information in a distributed setting is one of the main motivations for building the Semantic Web. Despite of this claim, reu...