960 search results - page 12 / 192 » There's no Data like More Data |
RELMICS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
ENTCS
2007
13 years 7 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
Identification of those genes that might anticipate the clinical behavior of different types of cancers is challenging due to availability of a smaller number of patient samples...
ICANN
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper introduces the application of the feature transformation approach proposed by Torkkola [1] to the domain of image processing. Thereto, we extended the approach...
ICONIP
2008
13 years 9 months ago
2008
Bump modeling is a method used to extract oscillatory bursts in electrophysiological signals, who are most likely to be representative of local synchronies. In this paper we presen...