Sciweavers

24 search results - page 3 / 5
» Structural Analysis for Differential-Algebraic Systems: Comp...
Sort
View
CTW
2006
88views more  CTW 2006»
13 years 5 months ago
Using multiple cognitive task analysis methods for supervisory control interface design in high-throughput biological screening
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
David B. Kaber, Noa Segall, Rebecca S. Green, K. E...
DAC
1994
ACM
13 years 9 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton
ER
2007
Springer
142views Database» more  ER 2007»
13 years 11 months ago
Multidimensional Data Modeling for Business Process Analysis
The emerging area of business process intelligence attempts to enhance the analytical capabilities of business process management systems by employing data warehousing and mining t...
Svetlana Mansmann, Thomas Neumuth, Marc H. Scholl
ICRA
2006
IEEE
112views Robotics» more  ICRA 2006»
13 years 11 months ago
Generic Differential Kinematic Modeling of Articulated Multi-monocycle Mobile Robots
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
Frederic Le Menn, Philippe Bidaud, Faïz Ben A...
RIAO
2004
13 years 6 months ago
Ontologies as Background Knowledge to Explore Document Collections
This paper introduces a new approach to provide users with solutions to explore a domain via an information space. A key point in our approach is that information searching and ex...
Nathalie Aussenac-Gilles, Josiane Mothe