2035 search results - page 98 / 407 » On the complexity of stratified logics |
144
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Reasoning about space has been a considerable field of study both in Artificial Intelligence and in spatial information theory. Many applications benefit from the inference of ...
143
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
149
click to vote
DSD
2010
IEEE
15 years 3 months ago
2010
IEEE
Asynchronous circuit implementations operating under strong constraints (DIMS, Direct Logic, some of NCL gates, etc.) are attractive due to: 1) regularity; 2) combined implementati...
193
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
Association, or LD (linkage disequilibrium), mapping is an intensely-studied approach to gene mapping (genome-wide or in candidate regions) that is widely hoped to be able to effic...
145
click to vote
DNA
2009
Springer
16 years 26 days ago
2009
Springer
Recently we have shown how molecular logic circuits with many components arranged in multiple layers can be built using DNA strand displacement reactions. The potential application...