878 search results - page 87 / 176 » Choice and development |
108
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
101
Voted
EUROPAR
2003
Springer
15 years 6 months ago
2003
Springer
The advent of high-performance networks in conjunction with low-cost, powerful computational engines has made possible the development of a new set of technologies termed computat...
152
Voted
DELTA
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper describes the concept, architecture, development and demonstration of a real time, high performance, software defined 4-receiver system and a space time decoder to be i...
121
click to vote
CP
2008
Springer
15 years 2 months ago
2008
Springer
The Cell BE processor provides both scalable computation power and flexibility, and it is already being adopted for many computational intensive applications like aerospace, defens...
109
Voted
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...