13977 search results - page 727 / 2796 » Evolution in complex systems |
185
click to vote
APAL
1999
15 years 7 months ago
1999
We give a sound and complete propositional S5 tableau system of a particularly simple sort, having an easy completeness proof. It sheds light on why the satisfiability problem for...
238
click to vote
FPL
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we present a rapid prototyping platform on a single Field Programmable Gate Array (FPGA) with support for software transactional memory. The system is composed only b...
195
click to vote
MOC
2011
15 years 2 months ago
2011
We present a new technique, based on polynomial continuation, for solving systems of n polynomials in N complex variables. The method allows equations to be introduced one-by-one o...
188
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Sound reproduction systems aim to produce a desired sound field over a region of space. At high frequencies, the number of loudspeakers required is prohibitive. This paper shows t...
190
click to vote
ICCD
2004
IEEE
16 years 4 months ago
2004
IEEE
Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce re...