2062 search results - page 407 / 413 » Derivatives of Logical Formulas |
ILP
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we survey work being conducted at Imperial College on the use of machine learning to build Systems Biology models of the effects of toxins on biochemical pathways. Se...
TABLEAUX
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
114
click to vote
SIGCOMM
2004
ACM
15 years 3 months ago
2004
ACM
Name services are critical for mapping logical resource names to physical resources in large-scale distributed systems. The Domain Name System (DNS) used on the Internet, however,...
PROFES
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. System architectures are described in abstract terms, often using Design Patterns. Actual reuse based on such descriptions requires that each development project derive a...
103
click to vote
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...