Sciweavers

2052 search results - page 151 / 411
» Direct Combination
Sort
View
OHS
2001
Springer
15 years 8 months ago
Link Augmentation: A Context-Based Approach to Support Adaptive Hypermedia
In today’s adaptive hypermedia systems, adaptivity is provided based on accumulative data gained from observing the user. User modelling, the capturing of information about the ...
Christopher Bailey, Samhaa R. El-Beltagy, Wendy Ha...
WADS
2001
Springer
143views Algorithms» more  WADS 2001»
15 years 8 months ago
An Approach for Mixed Upward Planarization
In this paper, we consider the problem of finding a mixed upward planarization of a mixed graph, i.e., a graph with directed and undirected edges. The problem is a generalization...
Markus Eiglsperger, Michael Kaufmann
DATE
2000
IEEE
87views Hardware» more  DATE 2000»
15 years 8 months ago
Multi-Node Static Logic Implications for Redundancy Identification
This paper presents a method for redundancy identification (RID) using multi-node logic implications. The algorithm discovers a large number of direct and indirect implications b...
Kabir Gulrajani, Michael S. Hsiao
ECBS
2000
IEEE
115views Hardware» more  ECBS 2000»
15 years 8 months ago
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit
ICRA
2000
IEEE
93views Robotics» more  ICRA 2000»
15 years 8 months ago
Human Augmentation in Teleoperation of Arm Manipulators in an Environment with Obstacles
This paper discusses a novel approach to combining human and machine intelligence in teleoperation of 6 degree of freedom (DOF) arm manipulators. Two algorithms are presented that...
Igor Ivanisevic, Vladimir J. Lumelsky