648 search results - page 67 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
CONCUR
2004
Springer
15 years 4 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
RECOMB
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Preliminary to most comparative genomics studies is the annotation of chromosomes as ordered sequences of genes. Unfortunately, different genetic mapping techniques usual...
80
Voted
WECWIS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
117
click to vote
LCPC
1995
Springer
15 years 2 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
116
click to vote
BMCBI
2002
14 years 11 months ago
2002
Background: Biologists are often interested in performing a simple database search to identify proteins or genes that contain a well-defined sequence pattern. Many databases do no...