1086 search results - page 46 / 218 » Knowledge-based part correspondence |
ESM
2000
13 years 10 months ago
2000
We are located in the context of the simulation of complex industrial systems, which are distributed in geographical, decisional and informational terms. This paper is divided int...
AAECC
1999
Springer
13 years 8 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
AUTOMATICA
1999
13 years 8 months ago
1999
The square-root information filter and smoother algorithms have been generalized to handle singular state transition matrices and perfect measurements. This has been done to allow...
ARGMAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A framework, PISA, for conducting dialogues to resolve disputes concerning the correct categorisation of particular cases, is described. Unlike previous systems to conduc...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...