Sciweavers

4944 search results - page 586 / 989
» A Framework for Adaptive Visualization
Sort
View
IPPS
2003
IEEE
16 years 4 days ago
Task Graph Scheduling Using Timed Automata
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Ma...
DOCENG
2003
ACM
16 years 3 days ago
Improving formatting documents by coupling formatting systems
In this paper, we present a framework for coupling an existing formatting system such as SMIL [7] and Madeus [13] with a formatting control system XEF [10]. This framework allows ...
Fateh Boulmaiz, Cécile Roisin, Fréd&...
ESWS
2010
Springer
15 years 11 months ago
Mobile Semantic-Based Matchmaking: A Fuzzy DL Approach
Novel wireless handheld devices allow the adoption of revised and adapted discovery approaches originally devised for the Semantic Web in mobile ad-hoc networks. Nevertheless, capa...
Michele Ruta, Floriano Scioscia, Eugenio Di Sciasc...
TABLEAUX
2009
Springer
15 years 11 months ago
Tableaux for Projection Computation and Knowledge Compilation
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
Christoph Wernhard
DEM
2001
Springer
198views GIS» more  DEM 2001»
15 years 11 months ago
Modeling of Ecosystems as a Data Source for Real-Time Terrain Rendering
With the advances in rendering hardware, it is possible to render very complex scenes in real-time. In general, computers do not have enough memory to store all the necessary infor...
Johan Hammes