We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
While current matting algorithms work very well for some natural images, their performance is questionable in the presence of sharp discontinuities in the foreground and backgroun...
Kangyu Ni, Sheshadri R. Thiruvenkadam, Tony F. Cha...
This paper deals with a set of useful methods for presenting large-scale models of real cities in a web environment. While acquisition issues are outlined only briefly, this study...
The current study investigated the value of using immersive virtual environment technology as a tool for assessing eyewitness identification. Participants witnessed a staged crime...
Jeremy N. Bailenson, Alexandra Davies, Jim Blascov...
Virtual humans are more and more used in VR applications but their animation is still a challenge, especially if complex tasks must be carried-out in interaction with the user. In...