7991 search results - page 1344 / 1599 » Using More Reasoning to Improve |
172
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
164
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Future embedded and wireless devices will be increasingly powerful supporting many applications including one of the most crucial, security. Although many wireless and embedded de...
140
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
How to efficiently discard potentially uninteresting rules in exploratory rule discovery is one of the important research foci in data mining. Many researchers have presented algor...
135
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
Data mining is currently becoming an increasingly hot research field, but a large gap still remains between the research of data mining and its application in real-world business....
201
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
The generation of prime numbers underlies the use of most public-key cryptosystems, essentially as a primitive needed for the creation of RSA key pairs. Surprisingly enough, despit...