5378 search results - page 811 / 1076 » Base Logics in Argumentation |
105
Voted
FPL
2003
Springer
15 years 5 months ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
89
Voted
GCC
2003
Springer
15 years 5 months ago
2003
Springer
Grid computing technology is a focused field in high performance computing. This paper describes an engineering computation oriented visual grid framework VGrid, which is capable t...
125
Voted
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
89
Voted
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
100
Voted
IFSA
2003
Springer
15 years 5 months ago
2003
Springer
Image registration has been a very active research area in the computer vision community. In the last few years, there is an increasing interest on the application of Evolutionary ...