1818 search results - page 6 / 364 » The Many Faces of a Translation |
134
Voted
ISMVL
1993
IEEE
15 years 4 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...
CCCG
1996
15 years 1 months ago
1996
We present a heuristic approach to the geometric motion planning problem with the aim to quickly solve intuitively simple problems. It is based on a divide-and-conquer path search...
109
Voted
ISMM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a programming framework for discrete mathematical morphology centered on the concept of genericity. We show that formal definitions of morphological algorithm...
110
click to vote
PVM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. MPI implementations are faced with growingly complex network configurations containing multiple network interfaces per node, NAT, or dual stacks. To implement handling l...
90
Voted
PPL
2008
15 years 12 days ago
2008
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...