Sciweavers

1053 search results - page 168 / 211
» On k-Path Covers and their applications
Sort
View
CSR
2008
Springer
15 years 8 months ago
From Invariants to Canonization in Parallel
A function f of a graph is called a complete graph invariant if two given graphs G and H are isomorphic exactly when f(G) = f(H). If additionally, f(G) is a graph isomorphic to G, ...
Johannes Köbler, Oleg Verbitsky
DSD
2008
IEEE
147views Hardware» more  DSD 2008»
15 years 8 months ago
A Low-Cost Cache Coherence Verification Method for Snooping Systems
Due to modern technology trends such as decreasing feature sizes and lower voltage levels, fault tolerance is becoming increasingly important in computing systems. Shared memory i...
Demid Borodin, Ben H. H. Juurlink
EKAW
2008
Springer
15 years 8 months ago
GoodRelations: An Ontology for Describing Products and Services Offers on the Web
A promising application domain for Semantic Web technology is the annotation of products and services offerings on the Web so that consumers and enterprises can search for suitable...
Martin Hepp
FOSSACS
2008
Springer
15 years 7 months ago
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
Dirk Pattinson, Lutz Schröder
BILDMED
2007
109views Algorithms» more  BILDMED 2007»
15 years 7 months ago
A Fast and Flexible Image Registration Toolbox
Abstract. In the last decades there has been tremendous research towards the design of fully automatic non-rigid registration schemes. However, apart from the ITK based implementat...
Nils Papenberg, Hanno Schumacher, Stefan Heldmann,...