| 1. |
|
|
| 2. |
-
Advanced Information Systems Engineering : Proceedings
- 2004
-
Proceedings (redaktörskap) (övrigt vetenskapligt/konstnärligt)abstract
- This book constitutes the refereed proceedings of the 16th International Conference on Advanced Information Systems Engineering, CAiSE 2004, held in Riga, Latvia in June 2004.The 39 revised full papers presented together with 2 abstracts of invited talks were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on enterprise modeling, data integration, conceptual modeling, workflows, methodologies for IS development, databases, methodologies for IS development, databases, support for collaboration between individuals and organizsations, Web-based systems, requirements engineering, ontologies, and data warehousing.
|
|
| 3. |
-
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.
|
|
| 4. |
-
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.
|
|
| 5. |
|
|
| 6. |
-
Image analysis : 13th Scandinavian Conference, SCIA 2003, Halmstad, Sweden, June 29-July 2, 2003, Proceedings
- 2003
-
Proceedings (redaktörskap) (övrigt vetenskapligt/konstnärligt)abstract
- This book constitutes the refeered proceedings of the 13th Scandinavian Conference on Image Analysis, SCIA 2003, held in Halmstad, Sweden in June/July 2003.The 148 revised full papers presented together with 6 invited contributions were carefully reviewed and selected for presentation. The papers are organized in topical sections on feature extraction, depth and surface, shape analysis, coding and representation, motion analysis, medical image processing, color analysis, texture analysis, indexing and categorization, and segmentation and spatial grouping.
|
|
| 7. |
|
|
| 8. |
-
Semantics, Applications and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
- 2000
-
Proceedings (redaktörskap) (övrigt vetenskapligt/konstnärligt)abstract
- This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis. ©Springer
|
|
| 9. |
|
|
| 10. |
- Dahllöf, Vilhelm, et al.
(författare)
-
Counting Satisfying Assignments in 2-SAT and 3-SAT
- 2003
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- We present an O(1.3247n) algorithm for counting the number of satisfying assignments for instances of 2-SAT and an O(1.6894n) algorithm for instances of 3-SAT. This is an improvement compared to the previously best known algorithms running in O(1.381n) and O(1.739n) time, respectively.
|
|
| 11. |
|
|
| 12. |
- Lambrix, Patrick
(författare)
-
Part-Whole Reasoning in an Object-Centered Framework
- 2000
-
Bok (refereegranskat)abstract
- In this book, the author develops an object-centered framework with specialized support of the part-of relation based on description logics. These logics are a family of object-centered knowledge representation languages tailored for describing knowledge about concepts and is-a hierarchies of these concepts. In addition to the representation and reasoning facilities provided by description logics for is-a, representation and reasoning facilities are introduced for part-of. Finally, the feasibility and the usefulness of the approach is demonstrated by applying the framework to various areas including domain modeling, agent-oriented scenarios, document management and retrieval, and composite concept learning.
|
|
| 13. |
|
|
