3208 search results - page 397 / 642 » Methods and views |
154
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
154
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We are studying the genetic influence on rates of age related muscle degeneration in C. elegans. For this, we built pattern recognition tools to calculate a morphological score gi...
155
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
To reduce the scanning time in some MRI applications, parallel acquisition techniques with multiple coils have been developed. Then, the full Field of View (FOV) image is reconstr...
162
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
It is extremely hard for a global organization with services over multiple channels to capture a consistent and unified view of its data, services, and interactions. While SOA and...
143
click to vote
KDD
2001
ACM
16 years 7 months ago
2001
ACM
Clustering algorithms have become increasingly important in handling and analyzing data. Considerable work has been done in devising effective but increasingly specific clustering...