4126 search results - page 421 / 826 » Relationships with other Formalisms |
175
Voted
COSIT
2001
Springer
15 years 11 months ago
2001
Springer
The development of cognitively plausible models of human spatial reasoning may ultimately result in computational systems that are better equipped to meet human needs. This paper e...
172
Voted
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....
199
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
154
click to vote
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
154
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Efficient use of an optimized custom memory hierarchy to exploit temporal locality in the memory accesses on array signals can have a very large impact on the power consumption i...