Sciweavers

3429 search results - page 306 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
ISMB
2000
15 years 6 months ago
An Evaluation of Ontology Exchange Languages for Bioinformatics
Ontologies are specifications of the concepts in a given field, and of the relationships among those concepts. The development of ontologies for molecular-biology information and ...
Robin McEntire, Peter D. Karp, Neil F. Abernethy, ...
CACM
2011
120views more  CACM 2011»
14 years 11 months ago
The sequence memoizer
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...
Frank Wood, Jan Gasthaus, Cédric Archambeau...
LREC
2010
199views Education» more  LREC 2010»
15 years 6 months ago
A Random Graph Walk based Approach to Computing Semantic Relatedness Using Knowledge from Wikipedia
Determining semantic relatedness between words or concepts is a fundamental process to many Natural Language Processing applications. Approaches for this task typically make use o...
Ziqi Zhang, Anna Lisa Gentile, Lei Xia, José...
SPIN
2010
Springer
15 years 3 months ago
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aal...
AC
2000
Springer
15 years 9 months ago
The Join Calculus: A Language for Distributed Mobile Programming
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
Cédric Fournet, Georges Gonthier