953 search results - page 122 / 191 » Constraint Based Transformation Theory |
WWW
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we propose a framework, called XAR-Miner, for mining ARs from XML documents efficiently. In XAR-Miner, raw data in the XML document are first preprocessed to transf...
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— GPS-free localization is essential for navigation and information tagging in small robotic fish-based aquatic mobile sensor networks. Constraints on size, weight, and onboard ...
CAISE
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a model driven approach for the generation of business process driven web applications within the context of ubiquitous environments. For this reason, we have t...