662 search results - page 112 / 133 » Classified Stable Matching |
132
click to vote
HPDC
1998
IEEE
15 years 1 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
COMPSAC
1997
IEEE
15 years 1 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
CAIP
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Rigidity and reflectance are key object properties, important in their own rights, and they are key properties that stratify motion reconstruction algorithms. However, th...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Mobile devices provide a variety of ways to access information resources available on the Web and a high level of adaptability to different aspects (e.g., device capabili...
3DIM
2001
IEEE
15 years 1 months ago
2001
IEEE
The ICP (Iterative Closest Point) algorithm is widely used for geometric alignment of three-dimensional models when an initial estimate of the relative pose is known. Many variant...