4693 search results - page 288 / 939 » Verifying Hybrid Systems |
179
Voted
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
We present a hybrid and parallel system based on artificial neural networks for a face invariant classifier and general pattern recognition problems. A set of face features is ext...
179
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Performance profiling consists of monitoring a software system during execution and then analyzing the obtained data. There are two ways to collect profiling data: event tracing t...
153
click to vote
EUROGRAPHICS
2010
Eurographics
16 years 3 months ago
2010
Eurographics
This paper presents a hybrid approach to multiple fluid simulation that can handle miscible and immiscible fluids, simultaneously. We combine distance functions and volume fract...
143
click to vote
CASES
2009
ACM
16 years 1 months ago
2009
ACM
Several multithreading techniques have been proposed to reduce resource underutilization in Very Long Instruction Word (VLIW) processors. Simultaneous MultiThreading (SMT) is a po...
172
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
The problem of production and delivery lot-sizing and scheduling of set of items in a two-echelon supply chain over a finite planning horizon is addressed in this paper. A single ...