1722 search results - page 128 / 345 » Ontology Formalism Transformation |
153
click to vote
DM
2000
15 years 6 months ago
2000
The transformation which assigns to a linear operator L the recurrence satisfied by coefficient sequences of the polynomial series in its kernel, is shown to be an isomorphism of ...
181
click to vote
CW
2005
IEEE
16 years 5 days ago
2005
IEEE
XML information retrieval (XML-IR) systems aim to provide users with highly exhaustive and highly specific results. To interact with XML-IR systems, users must express both their ...
176
click to vote
ACSC
2000
IEEE
15 years 10 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
167
click to vote
JCP
2008
15 years 6 months ago
2008
This paper discusses the issue of information interoperability. In view of the problems that it is difficult to solve the semantic conflicts in information interoperability, the pa...
192
click to vote
IRI
2009
IEEE
16 years 1 months ago
2009
IEEE
Scientific digital libraries serve complex and evolving research communities. Justifications for the development of scientific digital libraries include the desire to preserve sci...