8025 search results - page 337 / 1605 » Combinators Introduction: An Algorithm |
183
click to vote
CONCUR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
187
click to vote
ICARCV
2006
IEEE
16 years 25 days ago
2006
IEEE
— In the simultaneous localization and mapping (SLAM) problem, a mobile robot must build a map of its environment while simultaneously determining its location within that map. W...
153
click to vote
CEAS
2005
Springer
16 years 10 days ago
2005
Springer
Most proponents of domain authentication suggest combining domain authentication with reputation services. This paper presents a new learning algorithm for learning the reputation...
195
click to vote
IBPRIA
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we propose a face recognition algorithm that combines internal and external information of face images. Most of the previous works dealing with face recognition use o...
167
click to vote
MIDDLEWARE
2005
Springer
16 years 8 days ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...