725 search results - page 121 / 145 » Complexity of Computing with Extended Propositional Logic Pr... |
127
click to vote
EPIA
2007
Springer
15 years 8 months ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
126
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
144
click to vote
Publication
In this paper we address the problem of defining a measure of diversity for a population of individuals whose genome can be subjected to major reorganizations during the evolution...
127
click to vote
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
131
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...