Results 311 to 320 of about 24,500,069 (341)
Some of the next articles are maybe not open access.
Recommendation with Generative Models
arXiv.orgGenerative models are a class of AI models capable of creating new instances of data by learning and sampling from their statistical distributions.
Yashar Deldjoo +10 more
semanticscholar +1 more source
1995
Linguistic engineering presupposes lexical resources. For translation, it is highly desirable that a Machine Translation engine and human translators should have access to the same dictionary information. The present paper describes a multilingual dictionary model, which integrates information for use by both humans and a variety of NLP systems.
Daniel Bachut +12 more
openaire +1 more source
Linguistic engineering presupposes lexical resources. For translation, it is highly desirable that a Machine Translation engine and human translators should have access to the same dictionary information. The present paper describes a multilingual dictionary model, which integrates information for use by both humans and a variety of NLP systems.
Daniel Bachut +12 more
openaire +1 more source
General models and extensionality
Journal of Symbolic Logic, 1972It is well known that equality is definable in type theory. Thus, in the language of [2], the equality relation between elements of type α is definable as , i.e., xα = yα iff every set which contains xα also contains yα. However, in a nonstandard model of type theory, the sets may be so sparse that the wff above does not denote the true equality ...
openaire +1 more source
Requirements Engineering, 2006
The generic method model assumes that methods abound and method engineering and application engineering is done in diverse areas. Therefore, it is necessary to understand the notion of a method independent of information systems and software engineering.
openaire +1 more source
The generic method model assumes that methods abound and method engineering and application engineering is done in diverse areas. Therefore, it is necessary to understand the notion of a method independent of information systems and software engineering.
openaire +1 more source
IEEE Transactions on Biomedical Engineering, 2000
Simulation models are unavoidable in experimental research when the point is to develop new processing algorithms to be applied on real signals in order to extract specific parameter values. Such algorithms have generally to be optimized by comparing true parameter values to those deduced from the algorithm.
Jacques Duchêne, Jean-Yves Hogrel
openaire +4 more sources
Simulation models are unavoidable in experimental research when the point is to develop new processing algorithms to be applied on real signals in order to extract specific parameter values. Such algorithms have generally to be optimized by comparing true parameter values to those deduced from the algorithm.
Jacques Duchêne, Jean-Yves Hogrel
openaire +4 more sources
2013
Model assist is a feature of modelling environments aiding their users with entering well-formed models into an editor. Current implementations of model assist are mostly hard-coded in the editor and duplicate the logic captured in the environment's validation methods used for post hoc checking of models for well-formedness.
Friedrich Steimann, Bastian Ulke
openaire +1 more source
Model assist is a feature of modelling environments aiding their users with entering well-formed models into an editor. Current implementations of model assist are mostly hard-coded in the editor and duplicate the logic captured in the environment's validation methods used for post hoc checking of models for well-formedness.
Friedrich Steimann, Bastian Ulke
openaire +1 more source
A generalization of the Smagorinsky model
Applied Mathematics and ComputationzbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shen C. Huang +4 more
openaire +3 more sources
Generative models for molecular discovery: Recent advances and challenges
Wiley Interdisciplinary Reviews: Computational Molecular Science, 2022Camille L Bilodeau +2 more
exaly
Mathematical Modelling of Generalization
2002This paper surveys certain developments in the use of probabilistic techniques for the modelling of generalization. Some of the main methods and key results are discussed. Many details are omitted, the aim being to give a high-level overview of the types of approaches taken and methods used.
openaire +1 more source
12th International Symposium on Temporal Representation and Reasoning (TIME'05), 2005
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions generated by automatic techniques such as predicate abstraction. Indeed, for the same cost, model checking three-valued abstractions (also called may/must abstractions) can be ...
openaire +1 more source
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions generated by automatic techniques such as predicate abstraction. Indeed, for the same cost, model checking three-valued abstractions (also called may/must abstractions) can be ...
openaire +1 more source