1722 search results - page 227 / 345 » Ontology Formalism Transformation |
DLOG
2007
15 years 1 months ago
2007
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
126
click to vote
LREC
2008
2008
Building a Bilingual Representation of the Roget Thesaurus for French to English Machine Translation
15 years 13 days ago
This paper describes a solution to lexical transfer as a trade-off between a dictionary and an ontology. It shows its association to a translation tool based on morpho-syntactical...
AAAI
1996
15 years 10 days ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
115
click to vote
JCSS
2011
14 years 6 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
SAFECOMP
2007
Springer
15 years 5 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...