Sciweavers

6894 search results - page 211 / 1379
» Generation Problems
Sort
View
SAC
2003
ACM
15 years 11 months ago
Broadcast Program Generation for Unordered Queries with Data Replication
We study in this paper the problem of broadcasting dependent data for unordered queries. However, most prior studies on dependent data broadcasting are limited to the premise of n...
Jiun-Long Huang, Ming-Syan Chen
VRML
2003
ACM
15 years 11 months ago
Guiding visitors of Web3D worlds through automatically generated tours
Many Web3D sites do not offer sufficient assistance to (especially novice) users in navigating the virtual world, find objects/places of interests, and learn how to interact with ...
Luca Chittaro, Roberto Ranon, Lucio Ieronutti
CSL
2003
Springer
15 years 11 months ago
Generating All Abductive Explanations for Queries on Propositional Horn Theories
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
Thomas Eiter, Kazuhisa Makino
SAC
2010
ACM
15 years 11 months ago
An algorithm to generate the context-sensitive synchronized control flow graph
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
Marisa Llorens, Javier Oliver, Josep Silva, Salvad...
VISUALIZATION
2002
IEEE
15 years 11 months ago
Face-based Luminance Matching for Perceptual Colormap Generation
Most systems used for creating and displaying colormap-based visualizations are not photometrically calibrated. That is, the relationship between RGB input levels and perceived lu...
Gordon L. Kindlmann, Erik Reinhard, Sarah Creem