2771 search results - page 45 / 555 » A General Computational Treatment of the Comparative |
100
click to vote
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
JCC
2008
14 years 9 months ago
2008
Abstract: An increased circular dichroism (CD) signal of large molecular aggregates formed upon DNA condensation was observed a long time ago, and is often referred to as w-CD. The...
68
Voted
CVPR
2008
IEEE
15 years 4 months ago
2008
IEEE
We propose a shape population metric that reflects the interdependencies between points observed in a set of examples. It provides a notion of topology for shape and appearance m...
MM
2010
ACM
14 years 10 months ago
2010
ACM
The increasing availability of high speed Internet access and the decreasing cost of wireless technologies has increased the number of devices in the home that wirelessly connect ...
BMCBI
2010
14 years 9 months ago
2010
Background: Gene clustering for annotating gene functions is one of the fundamental issues in bioinformatics. The best clustering solution is often regularized by multiple constra...