Sciweavers

5856 search results - page 543 / 1172
» Developing Query Patterns
Sort
View
DDECS
2007
IEEE
127views Hardware» more  DDECS 2007»
16 years 26 days ago
Instance Generation for SAT-based ATPG
— Recently, there is a renewed interest in Automatic Test Pattern Generation (ATPG) based on Boolean Satisfiability (SAT). This results from the availability of very powerful SA...
Daniel Tille, Görschwin Fey, Rolf Drechsler
ICRA
2007
IEEE
149views Robotics» more  ICRA 2007»
16 years 25 days ago
Stabilization of Multiple Robots on Stable Orbits via Local Sensing
— We develop decentralized controllers for a team of disk-shaped robots to converge to and circulate along the boundary of a desired two-dimensional geometric pattern specified ...
Mong-ying A. Hsieh, Savvas G. Loizou, Vijay Kumar
ISCAS
2007
IEEE
128views Hardware» more  ISCAS 2007»
16 years 25 days ago
SAT-based ATPG for Path Delay Faults in Sequential Circuits
Due to the development of high speed circuits beyond the 2-GHz mark, the significance of automatic test pattern generation for Path Delay Faults (PDFs) drastically increased in t...
Stephan Eggersglüß, Görschwin Fey,...
ACCV
2007
Springer
16 years 22 days ago
Interpolation Between Eigenspaces Using Rotation in Multiple Dimensions
We propose a method for interpolation between eigenspaces. Techniques that represent observed patterns as multivariate normal distribution have actively been developed to make it r...
Tomokazu Takahashi, Lina, Ichiro Ide, Yoshito Meka...
CMMR
2007
Springer
140views Music» more  CMMR 2007»
16 years 21 days ago
Emergent Rhythms through Multi-agency in Max/MSP
This paper presents a multiple-agent architecture created in Max/ MSP that generates polyphonic rhythmic patterns which continuously evolve and develop in a musically intelligent m...
Arne Eigenfeldt