3717 search results - page 28 / 744 » Representing Multiple Theories |
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
The multiple view geometry in space-time can represent multiple view geometry in the case where nonrigid arbitrary motions are viewed from multiple translational cameras. However,...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
— This paper introduces a heuristic solution to the multiple restricted multiplication (MRM) optimization problem. MRM refers to a situation where a single variable is multiplied...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
HIS
2003
13 years 9 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
AIMSA
2004
Springer
14 years 1 months ago
2004
Springer
Ontology modeling requires modeling languages expressive enough to represent various definition types. A definition type which seems to be of particular significance is that provid...