Sciweavers

6047 search results - page 105 / 1210
» Modeling with Extend
Sort
View
EAAI
2007
90views more  EAAI 2007»
15 years 1 months ago
AI techniques in modelling, assignment, problem solving and optimization
This paper recapitulates the results of a long research on a family of artificial intelligence (AI) methods—relying on, e.g., artificial neural networks and search techniques...
Zsolt János Viharos, Zsolt Kemény
DAWAK
2005
Springer
15 years 7 months ago
Graph-Based Modeling of ETL Activities with Multi-level Transformations and Updates
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
Alkis Simitsis, Panos Vassiliadis, Manolis Terrovi...
SDL
2001
73views Hardware» more  SDL 2001»
15 years 3 months ago
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
Jens Grabowski, Peter Graubmann, Ekkart Rudolph
FSTTCS
2010
Springer
14 years 11 months ago
ATL with Strategy Contexts: Expressiveness and Model Checking
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
Arnaud Da Costa Lopes, François Laroussinie...
ICMCS
2008
IEEE
142views Multimedia» more  ICMCS 2008»
15 years 8 months ago
Community coordinated multimedia: Converging content-driven and service-driven models
Human experience is being extended and enhanced by collaboratively consuming electronic and networked content and multimedia-intensive services. This technical phenomenon is addre...
Jiehan Zhou, Mika Rautiainen, Mika Ylianttila