7195 search results - page 567 / 1439 » On Computing Power |
230
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: R is the preferred tool for statistical analysis of many bioinformaticians due in part to the increasing number of freely available analytical methods. Such methods ca...
181
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
243
click to vote
MMB
2010
Springer
15 years 9 months ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
188
click to vote
PAA
2008
15 years 7 months ago
2008
Abstract Features computed as statistics (e.g. histograms) of local filter responses have been reported as the most powerful descriptors for texture classification and segmentation...
223
click to vote
CC
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Data-parallel languages like OpenCL and CUDA are an important means to exploit the computational power of today’s computing devices. In this paper, we deal with two asp...