1692 search results - page 110 / 339 » Applying Science Models for Search |
PDPTA
2003
13 years 10 months ago
2003
— In this paper, we propose a powerful and convenient querying model, "Queryball", for users to query in immersive VR systems. In immersive VR systems, users expect int...
ATVA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
CIVR
2010
Springer
14 years 1 months ago
2010
Springer
Traditional image retrieval techniques search for images without considering the query context. When they are applied to applications like annotating text with images, the results...
LAWEB
2004
IEEE
13 years 10 months ago
2004
IEEE
Model-based design methods, and model-based architectures, have gained adoption in authoring applications for the WWW. This is further reinforced by the increasing visibility of t...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...