5550 search results - page 598 / 1110 » Different Approaches to Proof Systems |
167
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
In the development of disciplines addressing dynamics, such as Mathematics and Physics, a major role was played by the assumption that processes can be modelled by introducing cer...
187
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We address the problem of extracting Minimal Unsatisfiable Cores (MUCs) from constraint networks. This computationally hard problem has a practical interest in many appli...
211
click to vote
EVOW
2006
Springer
15 years 11 months ago
2006
Springer
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...
180
click to vote
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
New non-desktop technologies may turn out to be of a more open and generic nature than traditional information technologies. These technologies consequently pose novel challenges ...
167
click to vote
SIGMOD
1991
ACM
15 years 10 months ago
1991
ACM
In this paper, Dept. of Computer Science, University of Waterloo Waterloo, Ontario, Canada, N2L 3G1 we consider how to exploit multiple disks to improve the performance of B-tree ...