1942 search results - page 364 / 389 » HINT: A new way to measure computer performance |
100
click to vote
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
- Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their th...
133
click to vote
FORTE
1994
15 years 1 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
GECCO
2008
Springer
15 years 25 days ago
2008
Springer
Genetic-Based Machine Learning Systems (GBML) are comparable in accuracy with other learning methods. However, efficiency is a significant drawback. This paper presents a new rep...
108
click to vote
AIEDU
2008
14 years 12 months ago
2008
The idea that teaching others is a powerful way to learn is intuitively compelling and supported in the research literature. We have developed computer-based, domain-independent Te...
106
click to vote
ALMOB
2006
14 years 11 months ago
2006
Background: Automated software tools for multiple alignment often fail to produce biologically meaningful results. In such situations, expert knowledge can help to improve the qua...