4155 search results - page 520 / 831 » External Memory Algorithms |
193
click to vote
IJCNN
2006
IEEE
16 years 21 days 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...
181
click to vote
RSP
2006
IEEE
16 years 20 days ago
2006
IEEE
In a hardware-software co-design environment, an application is partitioned into modules. Each module is then mapped either to software or to hardware. The mapping process is driv...
159
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
156
Voted
CP
2005
Springer
16 years 6 days ago
2005
Springer
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...
197
click to vote
COMPGEOM
2004
ACM
16 years 3 days ago
2004
ACM
We present memory-efficient deterministic algorithms for constructing -nets and -approximations of streams of geometric data. Unlike probabilistic approaches, these deterministic...