1941 search results - page 200 / 389 » Reasoning about Computations Using Two-Levels of Logic |
142
Voted
IJMMS
2007
15 years 3 months ago
2007
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how th...
134
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
157
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
120
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
105
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
We present in detail a GCA (Global Cellular Automaton) algorithm with 3n cells for Hirschberg’s algorithm which determines the connected components of a n-node undirected graph w...