4126 search results - page 287 / 826 » Set based logic programming |
160
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Mining gene patterns that are common to multiple genomes is an important biological problem, which can lead us to novel biological insights. When family classification...
190
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
The performance of most embedded systems is critically dependent on the memory hierarchy performance. In particular, higher cache hit rate can provide significant performance boos...
191
click to vote
TCBB
2010
15 years 29 days ago
2010
Recent techniques increase rapidly the amount of our knowledge on interactions between proteins. The interpretation of these new information depends on our ability to retrieve kno...
166
click to vote
ESOP
1992
Springer
15 years 10 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
162
click to vote
PPDP
2009
Springer
16 years 23 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...