539 search results - page 89 / 108 » The Semantic Gap of Formalized Meaning |
141
click to vote
SEW
2006
IEEE
15 years 5 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
105
click to vote
SC
2003
ACM
15 years 5 months ago
2003
ACM
The growing processor/memory performance gap causes the performance of many codes to be limited by memory accesses. If known to exist in an application, strided memory accesses fo...
119
click to vote
ECAL
1995
Springer
15 years 3 months ago
1995
Springer
After an outline of the history of evolutionary algorithms, a new ( ) variant of the evolution strategies is introduced formally. Though not comprising all degrees of freedom, it i...
107
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Hidden Markov Models (HMMs) have proven very useful in computational biology for such applications as sequence pattern matching, gene-finding, and structure prediction...
NDJFL
2000
14 years 11 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...