3483 search results - page 69 / 697 » Forward |
85
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
143
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
127
Voted
ICWMC
2006
IEEE
15 years 9 months ago
2006
IEEE
— The use of cellular systems enhanced by fixed relays has previously been proposed as a way to provide wide area coverage for high bit-rate at a reduced cost of the wireless ac...
146
click to vote
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Neural processing of large-scale data sets containing both many input / output variables and a large number of training examples often leads to very large networks. Onc...
111
Voted
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— We consider feed-forward packet switched networks with fixed routing and random congestion losses. Users of the network are assumed to be greedy in the sense that each user in...