Sciweavers

644 search results - page 65 / 129
» Translation the Wiki way
Sort
View
DNA
2004
Springer
165views Bioinformatics» more  DNA 2004»
14 years 1 months ago
Computing by Observing Bio-systems: The Case of Sticker Systems
Abstract. A very common approach in chemistry and biology is to observe the progress of an experiment, and take the result of this observation as the final output. Inspired by thi...
Artiom Alhazov, Matteo Cavaliere
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
14 years 1 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
SAT
2004
Springer
158views Hardware» more  SAT 2004»
14 years 1 months ago
Aligning CNF- and Equivalence-Reasoning
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
Marijn Heule, Hans van Maaren
SEMWEB
2004
Springer
14 years 1 months ago
QOM - Quick Ontology Mapping
(Semi-)automatic mapping — also called (semi-)automatic alignment — of ontologies is a core task to achieve interoperability when two agents or services use different ontologie...
Marc Ehrig, Steffen Staab
ECCV
2010
Springer
14 years 1 months ago
Single Image Deblurring Using Motion Density Functions
Abstract. We present a novel single image deblurring method to estimate spatially non-uniform blur that results from camera shake. We use existing spatially invariant deconvolution...