4126 search results - page 492 / 826 » Set based logic programming |
150
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Structural analysis of cellular interaction networks contributes to a deeper understanding of network-wide interdependencies, causal relationships, and basic functiona...
122
Voted
JAIR
2008
15 years 3 months ago
2008
Shapley's impossibility result indicates that the two-person bargaining problem has no non-trivial ordinal solution with the traditional game-theoretic bargaining model. Alth...
148
Voted
DAC
2010
ACM
14 years 11 months ago
2010
ACM
This paper presents a logic restructuring technique named node addition and removal (NAR). It works by adding a node into a circuit to replace an existing node and then removing t...
148
click to vote
AAAI
1990
15 years 5 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
119
Voted
CGO
2007
IEEE
15 years 10 months ago
2007
IEEE
Applying the right compiler optimizations to a particular program can have a significant impact on program performance. Due to the non-linear interaction of compiler optimization...