2586 search results - page 356 / 518 » Automatic Abstraction for Congruences |
152
click to vote
CEC
2005
IEEE
16 years 1 days ago
2005
IEEE
AbstractEvolutionary Algorithms (EAs) have been used to achieve optimal feedforward control in a number of fedbatch fermentation processes. Typically, the optimization purpose is t...
176
click to vote
CODES
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
163
click to vote
CODES
2005
IEEE
16 years 1 days ago
2005
IEEE
In order to meet flexibility, performance and energy efficiency constraints, future SoC (System-on-Chip) designs will contain an increasing number of heterogeneous processor cor...
155
click to vote
ETFA
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract – Plug-and-play is an important mechanism for achieving component integration and improving interoperability in smart transducer systems. While recent research in smart ...
206
click to vote
ICCV
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract. Visual detection and tracking of humans in complex scenes is a challenging problem with a wide range of applications, for example surveillance and human-computer interact...