Sciweavers

2555 search results - page 217 / 511
» Putting complex systems to work
Sort
View
JMLR
2010
157views more  JMLR 2010»
15 years 1 months ago
Causality Challenge: Benchmarking relevant signal components for effective monitoring and process control
A complex modern manufacturing process is normally under consistent surveillance via the monitoring of signals/variables collected from sensors. However, not all of these signals ...
Michael McCann, Yuhua Li, Liam P. Maguire, Adrian ...
ISMIR
2005
Springer
132views Music» more  ISMIR 2005»
16 years 7 days ago
VOISE: Learning to Segregate Voices in Explicit and Implicit Polyphony
Finding multiple occurrences of themes and patterns in music can be hampered due to polyphonic textures. This is caused by the complexity of music that weaves multiple independent...
Phillip B. Kirlin, Paul E. Utgoff
ICRA
2003
IEEE
124views Robotics» more  ICRA 2003»
16 years 1 days ago
Intelligent control of an experimental articulated leg for a galloping machine
Intelligent controllers are being used with increasing effectiveness on complex systems. This work verifies the effectiveness of fuzzy control, an intelligent method, on a sing...
Luther R. Palmer, David E. Orin, Duane W. Marhefka...
ISMAR
2002
IEEE
15 years 11 months ago
Bread Crumbs: A Technique for Modelling Large Outdoor Ground Features
This paper presents a new technique we have created, known as Bread Crumbs, which allows the modelling of large outdoor ground features using a mobile augmented reality system and...
Wayne Piekarski, Bruce H. Thomas
DAC
1997
ACM
15 years 10 months ago
Formal Verification of FIRE: A Case Study
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl P...