BibSonomy publications for /tag/real_timeThu Apr 22 11:44:21 CEST 2010TEPAWSN: A Formal Analysis Tool for Wireless Sensor Networks2010VST4WSN formal real_time reliability tinyOS wsn Tue Apr 20 15:32:22 CEST 2010Electr. Notes Theor. Comput. Sci.4Monitoring, Checking, and Steering of Real-Time Systems.702002VST4WSN formal model_checking real_time runtime_checking Tue Apr 20 15:30:38 CEST 2010RTCSAconf/rtcsa/2005147-153RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.2005VST4WSN model_checking probabilistic real_time runtime_checking Mon Nov 17 16:42:41 CET 2008New York, NY, USACHI '08: Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems223--226Using tags to assist near-synchronous communication2008folksonomy hci imported real_time Tue Oct 23 11:17:39 CEST 2007Journal of Virtual Reality and BroadcastingdecISSN 1860-203710Lag Camera: A Moving Multi-Camera Array for Scene-Acquisition320063D analysis real_time video videoconference Many applications, such as telepresence, virtual reality, and interactive walkthroughs, require a three-dimensional (3D)model of real-world environments. Methods, such as lightfields, geometric reconstruction and computer vision use cameras to acquire visual samples of the environment and construct a model. Unfortunately, obtaining models of real-world locations is a challenging task. In particular, important environments are often actively in use, containing moving objects, such as people entering and leaving the scene. The methods previously listed have difficulty in capturing the color and structure of the environment while in the presence of moving and temporary occluders. We describe a class of cameras called lag cameras. The main concept is to generalize a camera to take samples over space and time. Such a camera, can easily and interactively detect moving objects while continuously moving through the environment. Moreover, since both the lag camera and occluder are moving, the scene behind the occluder is captured by the lag camera even from viewpoints where the occluder lies in between the lag camera and the hidden scene. We demonstrate an implementation of a lag camera, complete with analysis and captured environments.real_timeCommunity for tag(s) real_time