2239 search results - page 236 / 448 » Computing with abstract matrix structures |
140
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
136
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
120
click to vote
ICDCN
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We define geometric self-structuring in a large-scale networked system as the ability of the participating nodes to collaboratively impose a geometric structure to the ne...
161
Voted
IEEEICCI
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-In this paper, we construct a neural-inspired computational model based on the representational capabilities of receptive fields. The proposed model, known as Shape Encodi...
135
click to vote
AC
2002
Springer
15 years 3 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...