1816 search results - page 225 / 364 » ITS Domain Modelling with Ontology |
222
click to vote
ECIR
2006
Springer
15 years 8 months ago
2006
Springer
Genomic IR, characterized by its highly specific information need, severe synonym and polysemy problem, long term name and rapid growing literature size, is challenging IR communit...
175
click to vote
CAINE
2003
15 years 8 months ago
2003
This paper presents a fuzzy logic approach for switching multiple reference models, within the Model Reference Adaptive Control (MRAC) framework, in response to major changes in t...
156
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
180
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
Qualitative models are often a useful abstraction of the physical world. Learning qualitative models from numerical data sible way to obtain such an abstraction. We present a new ...
187
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...