3457 search results - page 213 / 692 » A Symbol Is Not a Symbol |
170
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...
173
click to vote
VTC
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper, an analytical approach to performance analysis of vertical Bell laboratories layered space time (V-BLAST) detection with optimal ordering for systems with two transm...
171
click to vote
PPSN
1998
Springer
15 years 10 months ago
1998
Springer
We present a novel approach to concept learning in which a coevolutionary genetic algorithm is applied to the construction of an immune system whose antibodies can discriminate bet...
159
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
This paper presents a technique for visualizing large spatial data sets in Web Mapping Systems (WMS). The technique creates a hierarchical clustering tree, which is subsequently u...
137
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...