4987 search results - page 76 / 998 » Support Ordered Resolution |
CADE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
104
click to vote
FOMI
2009
14 years 7 months ago
2009
The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing processes and resources. In this paper w...
ER
2004
Springer
15 years 3 months ago
2004
Springer
A progressive spatial query retrieves spatial data based on previous queries (e.g., to fetch data in a more restricted area with higher resolution). A direct query, on the other si...
FOAL
2007
ACM
15 years 1 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
BMCBI
2010
14 years 10 months ago
2010
Background: In recent years, gene order data has attracted increasing attention from both biologists and computer scientists as a new type of data for phylogenetic analysis. If ge...