5550 search results - page 747 / 1110 » Different Approaches to Proof Systems |
172
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
: The main purpose of this work is to create a physiologically realistic computational model of the retina by providing a flexible, real-valued three-dimensional architecture. This...
169
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
Internet systems provide a variety of ways to exchange information, contain large amounts and variety of data, and have become quite complex, making them vulnerable to attacks fro...
190
click to vote
GLVLSI
1999
IEEE
15 years 11 months ago
1999
IEEE
Despite the seemingly endless upwards spiral of modern VLSI technology, many experts are predicting a hard wall for CMOS in about a decade. Given this, researchers continue to loo...
173
click to vote
IWPC
1999
IEEE
15 years 11 months ago
1999
IEEE
For many years basic visualisation, based around simple boxes and lines, has been done in an attempt to be able to ease some of the cognitive overload caused by program comprehens...
251
click to vote
IATA
1999
Springer
15 years 11 months ago
1999
Springer
We present a market-based approach to call routing in telecommunications networks. A system architecture is described that allows self-interested agents, representing various netwo...