Sciweavers

1433 search results - page 244 / 287
» An approach to detecting failures automatically
Sort
View
CMMR
2004
Springer
180views Music» more  CMMR 2004»
15 years 5 months ago
Score-PCM Music Synchronization Based on Extracted Score Parameters
Abstract. In this paper we present algorithms for the automatic timesynchronization of score-, MIDI- or PCM-data streams which represent the same polyphonic piano piece. In contras...
Vlora Arifi, Michael Clausen, Frank Kurth, Meinard...
84
Voted
WEBI
2004
Springer
15 years 5 months ago
Self-Protection of Web Content
In most Internet applications, there is little control on how to protect the data content once it reaches the client. Implementing centralized control for data content delivered t...
Hoi Chan, Trieu C. Chieu
SI3D
2003
ACM
15 years 5 months ago
Interactive image-based rendering using feature globalization
Image-based rendering (IBR) systems enable virtual walkthroughs of photorealistic environments by warping and combining reference images to novel viewpoints under interactive user...
Daniel G. Aliaga, Dimah Yanovsky, Thomas A. Funkho...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 4 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
ICRA
1999
IEEE
117views Robotics» more  ICRA 1999»
15 years 4 months ago
Collision Control in Teleoperation by Virtual Force Reflection: An Application to the ROBTET System
: Well known collision avoiding approaches used in automatic robot path planning are also applied in teleoperation systems when moving in hazardous environments. In such cases, it ...
Miguel Hernando, Ernesto Gambao, E. Pinto, Antonio...