12981 search results - page 2250 / 2597 » Model Checking (Abstract) |
158
click to vote
ISNN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper investigates the construction of a wide class of singlehidden layer neural networks (SLNNs) with or without tunable parameters in the hidden nodes. It is a cha...
144
click to vote
IWIC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The long-term historical development and broad geographical variation of Chinese character (Hanzi/Kanji) has made it a crosscultural information sharing platform in East ...
126
click to vote
IWSEC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Pairing-based cryptography (PBC) has enabled the construction of many cryptographic protocols. However, there are scenarios when PBC is too heavyweight to use, such as wh...
146
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we present a novel general framework for encoding and evolving networks called Common Genetic Encoding (CGE) that can be applied to both direct and indirect...
118
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...