Sciweavers

3793 search results - page 336 / 759
» Expressive Description Logics
Sort
View
AEI
2007
52views more  AEI 2007»
15 years 7 months ago
A language for functional interpretation of model based simulation
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
Jonathan Bell, Neal Snooke, Chris Price
ENGL
2007
99views more  ENGL 2007»
15 years 6 months ago
Semantic Information Retrieval: a return on experience
—In previous works, we have presented the advantages of using a domain ontology and annotations on information retrieval as well as the translation problems between languages wit...
R. Carolina Medina Ramírez
ICASSP
2011
IEEE
14 years 10 months ago
Performance analysis of MDL criterion for the detection of noncircular or/and nonGaussian components
This paper presents an asymptotic analysis of the eigen value decomposition (EVD) of the sample covariance matrix associated with independent identically distributed (IID) non nec...
Jean Pierre Delmas, Yann Meurisse
CAV
1999
Springer
119views Hardware» more  CAV 1999»
15 years 11 months ago
A Theory of Restrictions for Logics and Automata
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
Nils Klarlund
JUCS
2006
135views more  JUCS 2006»
15 years 6 months ago
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...
Pascual Julián, Ginés Moreno, Jaime ...