Sciweavers

4041 search results - page 326 / 809
» time 2009
Sort
View
SARA
2009
Springer
16 years 1 months ago
Modelling Equidistant Frequency Permutation Arrays in Constraints
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each...
Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightin...
SARA
2009
Springer
16 years 1 months ago
Tightened Transitive Closure of Integer Addition Constraints
We present algorithms for testing the satisfiability and finding the tightened transitive closure of conjunctions of addition constraints of the form ±x ± y ≤ d and bound co...
Peter Z. Revesz
SCIA
2009
Springer
140views Image Analysis» more  SCIA 2009»
16 years 1 months ago
Fast Prototype Based Noise Reduction
This paper introduces a novel method for noise reduction in medical images based on concepts of the Non-Local Means algorithm. The main objective has been to develop a method that ...
Kajsa Tibell, Hagen Spies, Magnus Borga
SEMWEB
2009
Springer
16 years 1 months ago
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
Ken Kaneiwa, Philip H. P. Nguyen
SEMWEB
2009
Springer
16 years 1 months ago
Change Representation For OWL 2 Ontologies
Ontologies are entities that evolve over time, therefore it is essential to represent and manage changes to ontologies along with the ontologies themselves. In this paper we propos...
Raúl Palma, Peter Haase, Óscar Corch...