Sciweavers

2774 search results - page 280 / 555
» Exploiting Deep Structure
Sort
View
CAV
2005
Springer
86views Hardware» more  CAV 2005»
16 years 6 days ago
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
Eric Vecchié, Robert de Simone
ER
2005
Springer
186views Database» more  ER 2005»
16 years 6 days ago
Blueprints and Measures for ETL Workflows
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
Panos Vassiliadis, Alkis Simitsis, Manolis Terrovi...
ICIC
2005
Springer
16 years 5 days ago
Automatic Construction of Bayesian Networks for Conversational Agent
Abstract. As the information in the internet proliferates, the methods for effectively providing the information have been exploited, especially in conversational agents. Bayesian ...
Sungsoo Lim, Sung-Bae Cho
LPNMR
2005
Springer
16 years 5 days ago
Loops: Relevant or Redundant?
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
Martin Gebser, Torsten Schaub
ECWEB
2005
Springer
149views ECommerce» more  ECWEB 2005»
16 years 3 days ago
Architecture of a Semantic XPath Processor. Application to Digital Rights Management
This work describes a novel strategy for designing an XPath processor that acts over an RDF mapping of XML. We use a modelmapping approach to represent instances of XML and XML Sch...
Rubén Tous, Roberto García, Eva Rodr...