Sciweavers

778 search results - page 123 / 156
» Text Adaptation Using Formal Concept Analysis
Sort
View
TSE
2010
148views more  TSE 2010»
14 years 10 months ago
Program Behavior Discovery and Verification: A Graph Grammar Approach
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
Chunying Zhao, Jun Kong, Kang Zhang
BTW
2001
Springer
129views Database» more  BTW 2001»
15 years 4 months ago
Schema Evolution in Federated Information Systems
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
Susanne Busse, Claudia Pons
DSVIS
2005
Springer
15 years 5 months ago
Mapping ConcurTaskTrees into UML 2.0
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
Leonel Nóbrega, Nuno Jardim Nunes, Helder C...
ICRA
2002
IEEE
98views Robotics» more  ICRA 2002»
15 years 4 months ago
Computational Issues in the Planning and Kinematics of Binary Robots
To meet the objectives of many future missions, robots will need to be adaptable and reconfigurable. A concept for such a robotic system has been proposed previously based on usin...
Matthew D. Lichter, Vivek A. Sujan, Steven Dubowsk...
DEXA
2006
Springer
171views Database» more  DEXA 2006»
15 years 1 months ago
Automating the Choice of Decision Support System Architecture
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
Estella Annoni, Franck Ravat, Olivier Teste, Gille...