2598 search results - page 503 / 520 » The Abstract Immune System Algorithm |
114
Voted
ICTAC
2004
Springer
15 years 7 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
122
Voted
MFCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
140
Voted
GEOS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
142
Voted
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...
142
Voted
KIVS
1999
Springer
15 years 6 months ago
1999
Springer
Multimedia presentations are applicable in various domains such as advertising, commercial presentations or education. Multimedia presentations are described by multimedia documen...