Sciweavers

2026 search results - page 104 / 406
» Game Engines for Visualization
Sort
View
FSTTCS
2009
Springer
14 years 4 months ago
On Timed Alternating Simulation for Concurrent Timed Games
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
Laura Bozzelli, Axel Legay, Sophie Pinchinat
WECWIS
2008
IEEE
98views ECommerce» more  WECWIS 2008»
14 years 4 months ago
Visualizing Compositions of Services from Large Repositories
Creating a Service-Oriented Architecture requires the identification of services to be composed together in order to solve a given need. Currently, software engineers perform thi...
Marco Aiello, Johan van Benthem, Elie el Khoury
EMO
2003
Springer
98views Optimization» more  EMO 2003»
14 years 3 months ago
Visualization and Data Mining of Pareto Solutions Using Self-Organizing Map
Self-Organizing Maps (SOMs) have been used to visualize tradeoffs of Pareto solutions in the objective function space for engineering design obtained by Evolutionary Computation. F...
Shigeru Obayashi, Daisuke Sasaki
ESWS
2007
Springer
14 years 1 days ago
SWHi System Description: A Case Study in Information Retrieval, Inference, and Visualization in the Semantic Web
Abstract. Search engines have become the most popular tools for finding information on the Internet. A real-world Semantic Web application can benefit from this by combining its ...
Ismail Fahmi, Junte Zhang, Henk Ellermann, Gosse B...
AVI
1998
13 years 11 months ago
SIAMOA: a system for visual programming, program visualisation and debugging
ABSTRACT. The paper presents SIAMOA, a system dedicated for design, debugging and visualisation of algorithms. It combines elements of an algorithm visualisation system and an envi...
Frederic Van de Veire, Przemyslaw Szmal, Jaroslaw ...