598 search results - page 94 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
144
Voted
TITB
2002
15 years 3 months ago
2002
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...
145
Voted
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
—Reversible logic studies have promising potential on energy lossless circuit design, quantum computation, nanotechnology, etc. Reversible logic features a one-to-one input outpu...
115
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Although Cai, F¨urer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there h...
148
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
In Twenty Problems in the Theory of Cellular Automata, Stephen Wolfram asks “how common computational universality and undecidability [are] in cellular automata.” This papers p...
131
Voted
RR
2010
Springer
15 years 2 months ago
2010
Springer
For multimedia interpretation, and in particular for the combined interpretation of information coming from different modalities, a semantically well-founded formalization is requ...