Sciweavers

1750 search results - page 86 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
TMRA
2005
Springer
15 years 10 months ago
tolog - A Topic Maps Query Language
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
Lars Marius Garshol
INFORMS
1998
142views more  INFORMS 1998»
15 years 4 months ago
Distributed State Space Generation of Discrete-State Stochastic Models
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
Gianfranco Ciardo, Joshua Gluckman, David M. Nicol
TAMC
2007
Springer
15 years 10 months ago
A Characterization of the Language Classes Learnable with Correction Queries
Abstract. Formal language learning models have been widely investigated in the last four decades. But it was not until recently that the model of learning from corrections was intr...
Cristina Tîrnauca, Satoshi Kobayashi
ESEC
1997
Springer
15 years 8 months ago
A Framework for Classifying and Comparing Architecture Description Languages
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
Nenad Medvidovic, Richard N. Taylor
OTM
2007
Springer
15 years 10 months ago
A Meta-model for Ontologies with ORM2
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
Christina Tziviskou, C. Maria Keet