208 search results - page 15 / 42 » Realization using the model existence theorem |
115
click to vote
CORR
2006
Springer
14 years 10 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
ICCV
2003
IEEE
16 years 15 days ago
2003
IEEE
We present a new approach to 3D scene modeling based on geometric constraints. Contrary to the existing methods, we can quickly obtain 3D scene models that respect the given const...
ISCI
2008
14 years 10 months ago
2008
An increase in the performance of deteriorating systems can be achieved through the adoption of suitable maintenance policies. One of the most popular maintenance policies is the ...
ICCCN
2008
IEEE
15 years 5 months ago
2008
IEEE
— The Internet includes thousands of Internet service providers (ISPs) which are interconnected to provide connectivity and service for end-users. Traditionally, the settlement b...
CONTEXT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Ontologies can be used for e-business integration, for example by describing existing e-business standards as ontologies. If cooperating parties use different ontologies...