3946 search results - page 186 / 790 » The computational complexity of choice sets |
155
click to vote
BIRTHDAY
2007
Springer
16 years 24 days ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
124
click to vote
ICCSA
2004
Springer
15 years 12 months ago
2004
Springer
We report results for the in-silico screening of a database of 10000 flexible compounds against various crystal structures of the thymidine kinase receptor complexed with 10 know...
146
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper an active noise control (ANC) algorithm is proposed. This algorithm is based on adaptive filtering with averaging (AFA) and uses a similar structure as that of the F...
135
click to vote
JSC
2008
15 years 6 months ago
2008
We describe algorithms for solving a given system of multivariate polynomial equations via the Rational Univariate Reduction (RUR). We compute the RUR from the toric resultant of ...
129
click to vote
CAGD
2000
15 years 6 months ago
2000
Evaluation routines are essential for any application that uses triangular B-spline surfaces. This paper describes an algorithm to efficiently evaluate triangular B-spline surface...