2904 search results - page 377 / 581 » Number Forms in the Brain |
194
click to vote
ISSTA
1998
ACM
15 years 11 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
164
click to vote
DL
1998
Springer
15 years 11 months ago
1998
Springer
Although digital libraries are intended to support education and knowledge work, current digital library interfaces are narrowly focused on retrieval. Furthermore, they are design...
187
click to vote
KDD
1998
ACM
15 years 11 months ago
1998
ACM
Classification rule mining aims to discover a small set of rules in the database that forms an accurate classifier. Association rule mining finds all the rules existing in the dat...
204
click to vote
KDD
1998
ACM
15 years 11 months ago
1998
ACM
This paper presents an algorithm for discovering conjunction rules with high reliability from data sets. The discovery of conjunction rules, each of which is a restricted form of ...
179
click to vote
INFOVIS
1997
IEEE
15 years 11 months ago
1997
IEEE
In information visualization, as the volume and complexity of the data increases, researchers require more powerful visualization tools that enable them to more effectively explor...