6800 search results - page 848 / 1360 » Testing with Functions as Specifications |
163
click to vote
AMR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we present an approach to automatically detecting music band members and instrumentation using web content mining techniques. To this end, we combine a nam...
149
click to vote
FSE
2007
Springer
16 years 1 months ago
2007
Springer
CryptMT v3 is a stream cipher submitted to eStream project, and has entered the third evaluation phase. Any attack has not been found until now. In this paper, we mainly discuss th...
149
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
We have developed an algorithm for reduction of search-space, called Domain Optimization Algorithm (DOA), applied to global optimization. This approach can efficiently eliminate ...
173
click to vote
ICANN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We develop a probabilistic interpretation of non-linear component extraction in neural networks that activate their hidden units according to a softmaxlike mechanism. On ...
157
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
Service-oriented architecture (SOA) will form the basis of future information systems. Web services are a promising way to implement SOA enabling the loose coupling of functionalit...