Sciweavers

1837 search results - page 211 / 368
» Abstraction and the C Machine Model
Sort
View
ISMIS
2003
Springer
14 years 3 months ago
Granular Computing Based on Rough Sets, Quotient Space Theory, and Belief Functions
Abstract. A model of granular computing (GrC) is proposed by reformulating, re-interpreting, and combining results from rough sets, quotient space theory, and belief functions. Two...
Y. Y. Yao, Churn-Jung Liau, Ning Zhong
CAIP
1997
Springer
141views Image Analysis» more  CAIP 1997»
14 years 2 months ago
Morphological Iterative Closest Point Algorithm
Abstract—This work presents a method for the registration of threedimensional (3-D) shapes. The method is based on the iterative closest point (ICP) algorithm and improves it thr...
C. P. Vavoulidis, Ioannis Pitas
EPIA
1993
Springer
14 years 2 months ago
Resolution of Constraints in Algebras of Rational Trees
Abstract. This work presents a constraint solver for the domain of rational trees. Since the problem is NP-hard the strategy used by the solver is to reduce as much as possible, in...
Luís Damas, Nelma Moreira, Sabine Broda
CDVE
2006
Springer
130views Visualization» more  CDVE 2006»
14 years 1 months ago
Flexible Collaboration over XML Documents
Abstract. XML documents are increasingly being used to mark up various kinds of data from web content to scientific data. Often these documents need to be collaboratively created a...
Claudia-Lavinia Ignat, Moira C. Norrie
EVOW
2008
Springer
13 years 12 months ago
A Hybrid Column Generation Approach for the Berth Allocation Problem
Abstract. The Berth Allocation Problem (BAP) consists on programming and allocating ships to berthing areas along a quay. The BAP is modeled as a vehicle routing problem and a rece...
Geraldo R. Mauri, Alexandre C. M. Oliveira, Luiz A...