Sciweavers

305 search results - page 48 / 61
» Language Independent Morphological Analysis
Sort
View
KCAP
2003
ACM
15 years 5 months ago
Modularisation of domain ontologies implemented in description logics and related formalisms including OWL
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
88
Voted
ICTCS
2003
Springer
15 years 5 months ago
A Calculus for Dynamic Linking
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
Davide Ancona, Sonia Fagorzi, Elena Zucca
SERVICES
2008
99views more  SERVICES 2008»
15 years 1 months ago
WS-BioZard: A Wizard for Composing Bioinformatics Web Services
As the amount of biological data continues to increase, how biologists share data and analysis tools efficiently is becoming an important issue. Web service technology is a promis...
Zhiming Wang, John A. Miller, Jessica C. Kissinger...
CAV
2010
Springer
194views Hardware» more  CAV 2010»
15 years 3 months ago
LTSmin: Distributed and Symbolic Reachability
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
Stefan Blom, Jaco van de Pol, Michael Weber
CICLING
2008
Springer
15 years 1 months ago
Unsupervised and Knowledge-Free Learning of Compound Splits and Periphrases
Abstract. We present an approach for knowledge-free and unsupervised recognition of compound nouns for languages that use one-wordcompounds such as Germanic and Scandinavian langua...
Florian Holz, Chris Biemann