2585 search results - page 453 / 517 » Automating Coherent Logic |
95
Voted
BMCBI
2006
15 years 25 days ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
114
click to vote
COMCOM
2006
15 years 25 days ago
2006
In defending one's network against cyber attack, certain vulnerabilities may seem acceptable risks when considered in isolation. But an intruder can often infiltrate a seemin...
131
Voted
CORR
2002
Springer
15 years 18 days ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
94
Voted
JAIR
2010
14 years 11 months ago
2010
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
150
Voted
EUROSYS
2010
ACM
15 years 7 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...