| 11. |
|
|
| 12. |
|
|
| 13. |
|
|
| 14. |
-
Applied Parallel Computing : large scale scientific and industrial problems: 4th International Workshop, PARA'98, Umeå, Sweden, June 14-17, 1998 : proceedings
- 1998
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the carefully refereed proceedings of the 4th International Workshop on Applied Parallel Computing, PARA'98, held in Umea, Sweden, in June 1998.The 75 revised papers presented were carefully reviewed and selected for inclusion in the book. The papers address a variety of topics in large scale scientific and industrial-strength computing, in particular high-performance computing and networking; tools, languages, and environments for parallel processing; scientific visualization and virtual reality; and future directions in high-performance computing and communication.
|
|
| 15. |
-
Audio- and Video-Based Biometric Person Authentication : Third International Conference, AVBPA 2001 Halmstad, Sweden, June 6–8, 2001 Proceedings
- 2001
-
Proceedings (redaktörskap) (övrigt vetenskapligt/konstnärligt)abstract
- This book constitutes the refereed proceedings of the Third International Conference on Audio- and Video-Based Biometric Person Authentication, AVBPA 2001, held in Halmstad, Sweden in June 2001.The 51 revised papers presented together with three invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on face as biometrics; face image processing; speech as biometrics and speech processing; fingerprints as biometrics; gait as biometrics; and hand, signature, and iris as biometrics.
|
|
| 16. |
- Berglund, Ann-Charlotte, et al.
(författare)
-
Combining local and grid resources in scientific workflows (for Bioinformatics)
- 2009
-
Konferensbidrag (refereegranskat)abstract
- We examine some issues that arise when using both local and Gridresources in scientific workflows. Our previous work addresses and illustratesthe benefits of a light-weight and generic workflow engine that manages andoptimizes Grid resource usage. Extending on this effort, we hereillustrate how a client tool for bioinformatics applications employs the engine tointerface with Grid resources. We also explore how to define data flowsthat transparently integrates local and Grid subworkflows. In addition, the benefits of parameter sweep workflows are examined and a means for describing this type of workflows in an abstract and concise manner is introduced. Finally, the above mechanisms are employed to perform an orthology detection analysis.
|
|
| 17. |
-
Biometric authentication : International ECCV 2002 Workshop, Copenhagen, Denmark, June 1, 2002 : proceedings
- 2002
-
Proceedings (redaktörskap) (övrigt vetenskapligt/konstnärligt)abstract
- This book constitutes the refereed proceedings of the International Workshop on Biometric Authentication held in Copenhagen, Denmark, in June 2001 as a satellite event of ECCV 2002.The 19 revised full papers presented were carefully reviewed. The papers are organized in topical sections on face recognition, fingerprint recognition, psychology and biometrics, face detection and localization, gait and signature recognition, and classifiers for recognition.
|
|
| 18. |
- Böckenhauer, Hans-Joachim, et al.
(författare)
-
The Steiner tree reoptimization problem with sharpenedtriangle inequality
- 2010
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we deal with several reoptimization variants of the Steiner tree problem in graphs obeying a sharpened β-triangle inequality. A reoptimization algorithm exploits theknowledge of an optimal solution to a problem instance for finding good solutions for a locally modified instance. We show that, in graphs satisfying a sharpened triangleinequality (and even in graphs where edge-costs are restricted to the values 1 and 1∈+∈γ for an arbitrary small γ>∈0), Steiner tree reoptimization still is NP-hard for several different types of local modifications, and even APX-hard for some of them. As for theupper bounds, for some local modifications, we design linear-time (1/2∈+∈β)-approximation algorithms, and even polynomial-time approximation schemes, whereas for metric graphs (β=∈1), none of these reoptimization variants is known to permit a PTAS. As a building block for some of these algorithms, we employ a 2β-approximation algorithm for the classical Steiner tree problem on such instances, which might be of independent interest since it improves over the previously best known ratio for any β∈<∈1/2∈+∈ln (3)/4∈≈∈0.775.
|
|
| 19. |
- Chen, DeJiu, et al.
(författare)
-
Modelling Support for Design of Safety-Critical Automotive Embedded Systems
- 2008
-
Ingår i: Proceedings of the 27th International Conference on Computer Safety, Reliability and Security, 2008.. - Berlin, Heidelberg : Springer Berlin Heidelberg.
-
Konferensbidrag (refereegranskat)abstract
- This paper describes and demonstrates an approach that promises to bridge the gap between model-based systems engineering and the safety process of automotive embedded systems. The basis for this is the integration of safety analysis techniques, a method for developing and managing Safety Cases, and a systematic approach to model-based engineering - the EAST-ADL2 architecture description language. Three areas are highlighted: (I) System model development on different levels of abstraction. This enables fulfilling many requirements on software development as specified by ISO-CD-26262 (2) Safety Case development in close connection to the system model (3) Analysis of mal-functional behaviour that may cause hazards, by modelling of errors and error propagation in a (complex and hierarchical) system model.
|
|
| 20. |
|
|
