Sciweavers

2749 search results - page 436 / 550
» Usability of interaction patterns
Sort
View
CINQ
2004
Springer
182views Database» more  CINQ 2004»
15 years 10 months ago
Mining Constrained Graphs: The Case of Workflow Systems
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, ...
CLEAR
2006
Springer
196views Biometrics» more  CLEAR 2006»
15 years 10 months ago
PittPatt Face Detection and Tracking for the CLEAR 2006 Evaluation
Abstract. This paper describes Pittsburgh Pattern Recognition's participation in the face detection and tracking tasks for the CLEAR 2006 evaluation. We first give a system ov...
Michael C. Nechyba, Henry Schneiderman
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 10 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
COORDINATION
2010
Springer
15 years 9 months ago
Compositional Construction of Real-Time Dataflow Networks
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
Stephanie Kemper
BILDMED
2007
272views Algorithms» more  BILDMED 2007»
15 years 7 months ago
Comprehensive Architecture for Simulation of the Human Body Based on Functional Anatomy
Abstract. In this paper we propose a structured approach for the simulation of the human body which is comprehensive and extendable. Our architecture resembles the human organism a...
Sebastian Ullrich, Jakob Valvoda, Andreas Prescher...