2909 search results - page 20 / 582 » Consistency of the theory of contexts |
93
Voted
AML
2000
15 years 1 months ago
2000
The Wholeness Axiom (WA) is an axiom schema that can be added to the axioms of ZFC in an extended language {, j}, and that asserts the existence of a nontrivial elementary embeddin...
145
Voted
DOCENG
2009
ACM
14 years 11 months ago
2009
ACM
In this paper, we evaluate different geometric consistency schemes, which can be used in tandem with an efficient architecture, based on voting and local descriptors, to retrieve ...
106
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
141
click to vote
ECBS
2004
IEEE
15 years 5 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
103
Voted
ICSM
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper is about client-specific customization of systems that implement an on-line Internet service in the presence of simultaneous client-specific views. The problem is that ...