11160 search results - page 2098 / 2232 » Incompleteness in a General Setting |
123
click to vote
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
126
click to vote
WEBDB
2000
Springer
15 years 7 months ago
2000
Springer
The growth of the Internet has made it possible to query data in all corners of the globe. This trend is being abetted by the emergence of standards for data representation, such ...
140
click to vote
EWSPT
1995
Springer
15 years 7 months ago
1995
Springer
The paper describes the different phases and subdomains of process modelling and their needs for conceptual and linguistic support, and in what forms. We group the relevant factor...
139
click to vote
INFOVIS
1995
IEEE
15 years 7 months ago
1995
IEEE
Visualizations which depict entire information spaces provide context for navigation and browsing tasks; however, the limited size of the display screen makes creating effective g...
134
click to vote
KBSE
1995
IEEE
15 years 7 months ago
1995
IEEE
Numerical design optimization algorithms are highly sensitive to the particular formulation of the optimization problems they are given. The formulation of the search space, the o...