— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
Zhihong Zeng, Maciej J. Ciesielski, Bruno Rouzeyre
The performance of any word recognizer depends on the lexicon presented. Usually large lexicons or lexicons containing similar entries pose greater difficulty for recognizers. How...
Behavioral Signal Processing aims at automating behavioral coding schemes such as those prevalent in psychology and mental health research. This paper describes methods to quantif...
Viktor Rozgic, Bo Xiao, Athanasios Katsamanis, Bri...
We describe techniques for automatically acquiring observations of a deforming object and for estimating a model of the deformation from these observations. A robotic system was d...
This work deals with the distributed measurement and reconstruction of time-varying spatial fields using wireless sensor networks (WSN). We use basis functions to formulate a low...