3575 search results - page 347 / 715 » Presentations of computably enumerable reals |
167
Voted
ICCS
2004
Springer
16 years 4 days ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
189
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
Activity in social media such as blogs, micro-blogs, social networks, etc is manifested via interaction that involves text, images, links and other information items. Naturally, s...
179
click to vote
CW
2008
IEEE
16 years 1 months ago
2008
IEEE
Traveling through immersive virtual environments (IVEs) by means of real walking is an important activity to increase naturalness of VR-based interaction. However, the size of the...
203
Voted
VRST
2005
ACM
16 years 9 days ago
2005
ACM
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...
164
click to vote
ICCV
2003
IEEE
16 years 1 days ago
2003
IEEE
The perception of transparent objects from images is known to be a very hard problem in vision. Given a single image, it is difficult to even detect the presence of transparent o...