Sciweavers

1529 search results - page 169 / 306
» On the Construction of Ontologies based on Natural Language ...
Sort
View
UML
2001
Springer
15 years 11 months ago
Approaching a Discrete-Continuous UML: Tool Support and Formalization
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
Thomas Stauner, Alexander Pretschner, Istran P&eac...
FM
2009
Springer
155views Formal Methods» more  FM 2009»
16 years 1 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
KES
2010
Springer
15 years 4 months ago
Visualization and Language Processing for Supporting Analysis across the Biomedical Literature
Finding relevant publications in the large and rapidly growing body of biomedical literature is challenging. Search queries on PubMed often return thousands of publications and it ...
Carsten Görg, Hannah J. Tipney, Karin Verspoo...
NLDB
2007
Springer
16 years 17 days ago
Text Segmentation Based on Document Understanding for Information Retrieval
Information retrieval needs to match relevant texts with a given query. Selecting appropriate parts is useful when documents are long, and only portions are interesting to the user...
Violaine Prince, Alexandre Labadié
ENTCS
2008
90views more  ENTCS 2008»
15 years 6 months ago
Quantum Data and Control Made Easier
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
Michael Lampis, Kyriakos G. Ginis, Michalis A. Pap...