4126 search results - page 594 / 826 » Set based logic programming |
149
click to vote
DLOG
2010
15 years 1 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
133
click to vote
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
128
click to vote
TON
2010
15 years 1 months ago
2010
—The concept of p-cycle (preconfigured protection cycle) allows fast and efficient span protection in wavelength division multiplexing (WDM) mesh networks. To design p-cycles f...
105
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Molecular biologists need sophisticated analytical tools which often demand extensive computational resources. While finding, installing, and using these tools can be ...
113
click to vote
DNA
2009
Springer
15 years 9 months ago
2009
Springer
Knowledge of energy barriers between pairs of secondary structures for a given DNA or RNA molecule is useful, both in understanding RNA function in biological settings and in desig...