Search Sciweavers | Sciweavers

1864 search results - page 11 / 373

» Formal topology and domains

click to vote

KCAP
2003
ACM

178views Information Technology» more KCAP 2003»

Modularisation of domain ontologies implemented in description logics and related formalisms including OWL

14 years 3 months ago

Download www.cs.man.ac.uk

Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...

Alan L. Rector

claim paper

Read More »

click to vote

ICPP
2006
IEEE

133views Distributed And Parallel Com...» more ICPP 2006»

A Formal Analysis of Space Filling Curves for Parallel Domain Decomposition

14 years 3 months ago

Download home.eng.iastate.edu

Space ﬁlling curves (SFCs) are widely used for parallel domain decomposition in scientiﬁc computing applications. The proximity preserving properties of SFCs are expected to k...

Srikanta Tirthapura, Sudip Seal, Srinivas Aluru

claim paper

Read More »

click to vote

AO
2005

147views more AO 2005»

Domain modelling and NLP: Formal ontologies? Lexica? Or a bit of both?

13 years 9 months ago

Download cswww.essex.ac.uk

There are a number of genuinely open questions concerning the use of domain models in nlp. It would be great if contributors to Applied Ontology could help addressing them rather ...

Massimo Poesio

claim paper

Read More »

click to vote

ASPDAC
2009
ACM

115views Hardware» more ASPDAC 2009»

Automatic formal verification of clock domain crossing signals

14 years 4 months ago