780 search results - page 89 / 156 » Correctness of Component-Based Adaptation |
ISCAS
2003
IEEE
14 years 2 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...
SIGDOC
2003
ACM
14 years 2 months ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
MSE
2002
IEEE
14 years 2 months ago
2002
IEEE
With the increasing demand and popularity of multimedia streaming applications over the current Internet, manipulating MPEG streams in a real-time software manner is gaining more ...
ASPDAC
1999
ACM
14 years 1 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...
DATE
1998
IEEE
14 years 1 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...