12438 search results - page 2101 / 2488 » The Magic of a Number System |
194
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
188
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
In automated text categorization, given a small number of labeled documents, it is very challenging, if not impossible, to build a reliable classifier that is able to achieve high...
192
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
As the number of non-English documents is increasing dramatically on the web nowadays, the study and design of information retrieval systems for these languages is very important....
247
click to vote
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
3D scanning techniques based on structured light usually achieve robustness against outliers by performing multiple projections to simplify correspondence. However, for cases such...
193
click to vote
ACMSE
2005
ACM
15 years 9 months ago
2005
ACM
Visualization and differentiation of proteins in tissue are problems of increasing interest in computational systems biology, bioinformatics, and image processing. A platform for ...