3228 search results - page 639 / 646 » Computationally Sound Proofs |
FLAIRS
2004
13 years 10 months ago
2004
The issue of fire propagation in cities is of obvious importance to Civil Authorities, but does present issues of computational complexity. Our basic assumption is that some event...
ISCAPDCS
2004
13 years 10 months ago
2004
This paper shows that a novel network called the fat-stack is universally efficient when adequate capacity distribution is provided and is suitable for use as an interconnection n...
PICS
1998
13 years 10 months ago
1998
In the fine art field, the high-resolution inkjet printers made by IRIS Graphics, Inc. have for more than 7 years remained the preferred direct digital output device for printing ...
NIPS
1993
13 years 10 months ago
1993
Recent developments in the area of reinforcement learning have yielded a number of new algorithms for the prediction and control of Markovian environments. These algorithms,includ...
CCS
2010
ACM
13 years 9 months ago
2010
ACM
Securing wireless sensor networks against node capture is a challenging task. All well-known random key pre-distribution systems, including the Eschenauer and Gligor's pionee...