3546 search results - page 278 / 710 » A Causal Logic of Logic Programming |
159
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
151
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
: In this paper, an algorithm for simultaneous logic restructuring and placement is presented. This algorithm first constructs a set of super-cells along the critical paths and the...
150
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
155
Voted
ICSM
1998
IEEE
15 years 10 months ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...
195
click to vote
AAAI
2007
15 years 8 months ago
2007
Generality or refinement relations between different theories have important applications to generalization in inductive logic programming, refinement of ontologies, and coordin...