6607 search results - page 688 / 1322 » Making TeX Work |
193
click to vote
FTCS
1998
15 years 8 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
300
click to vote
BCEC
1997
15 years 8 months ago
1997
Attractor network models of cortical associative memory functions have developed considerably over the past few years. Here we show that we can improve them further, in terms of c...
196
click to vote
PDPTA
2000
15 years 8 months ago
2000
Abstract In this paper, we propose a microprocessor architecture which eciently utilizes nextgeneration semiconductor technology. While the technology makes it possible to integrat...
173
click to vote
IJCAI
1997
15 years 8 months ago
1997
In tree search, depth-first search (DFS) often uses ordering successor heuristics. If the heuristic makes a mistake ordering a bad successor (without goals in its subtree) before ...
206
click to vote
SODA
2000
ACM
15 years 8 months ago
2000
ACM
: k-SAT is one of the best known among a wide class of random constraint satisfaction problems believed to exhibit a threshold phenomenon where the control parameter is the ratio, ...