6608 search results - page 985 / 1322 » On the Completeness of Model Checking |
184
click to vote
CONNECTION
2004
15 years 6 months ago
2004
While humans forget gradually, highly distributed connectionist networks forget catastrophically: newly learned information often completely erases previously learned information. ...
258
click to vote
VISAPP
2008
15 years 8 months ago
2008
Traffic signs are designed to be clearly seen by drivers. However a little is known about the visual influence of the traffic sign environment on how it will be perceived. Computer...
204
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
184
click to vote
CPC
2002
15 years 6 months ago
2002
Co-learning is a model involving agents from a large population, who interact by playing a fixed game and update their behaviour based on previous experience and the outcome of th...
199
click to vote
ET
1998
15 years 6 months ago
1998
This paper explores the design of efficient test sets and test-pattern generators for online BIST. The target applications are high-performance, scalable datapath circuits for whi...