19130 search results - page 3266 / 3826 » Modelling multi-path problems |
184
click to vote
ICALP
2007
Springer
16 years 28 days ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
165
click to vote
ICFCA
2007
Springer
16 years 28 days ago
2007
Springer
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
205
click to vote
ISNN
2007
Springer
16 years 28 days 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...
270
Voted
IWCLS
2007
Springer
16 years 28 days ago
2007
Springer
Learning Classifier Systems use evolutionary algorithms to facilitate rule- discovery, where rule fitness is traditionally payoff based and assigned under a sharing scheme. Most c...
187
click to vote
IWIC
2007
Springer
16 years 28 days 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 ...