Sciweavers

12333 search results - page 495 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
CDVE
2007
Springer
136views Visualization» more  CDVE 2007»
16 years 1 months ago
Cooperative Validation in Distributed Control Systems Design
The team of engineers designing and implementing distributed control system software must communicate within a multidisciplinary environment. One of the main problems is the intera...
Dariusz Choinski, Mieczyslaw Metzger, Witold Nocon...
ISCAS
2007
IEEE
122views Hardware» more  ISCAS 2007»
16 years 1 months ago
Multi-Channel Coherent Detection for Delay-Insensitive Model-Free Adaptive Control
— A mixed-signal architecture for continuous-time multidimensional model-free optimization is presented. It is based on multi-channel coherent modulation and detection that relia...
Dimitrios N. Loizos, Paul-Peter Sotiriadis, Gert C...
ICIP
2007
IEEE
16 years 1 months ago
Propagating Image-Level Part Statistics to Enhance Object Detection
The bag-of-words approach has become increasingly attractive in the fields of object category recognition and scene classification, witnessed by some successful applications [5, 7...
Sheng Gao, Joo-Hwee Lim, Qibin Sun
RT
2001
Springer
15 years 11 months ago
Decoupling Strokes and High-Level Attributes for Interactive Traditional Drawing
We present an interactive system, which allows the user to produce drawings in a variety of traditional styles. It takes as input an image and performs semi-automatic tonal modelin...
Frédo Durand, Victor Ostromoukhov, Mathieu ...
JAR
2006
103views more  JAR 2006»
15 years 7 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan