940 search results - page 82 / 188 » Local rely-guarantee reasoning |
103
Voted
GIS
2010
ACM
14 years 10 months ago
2010
ACM
Object representation and reasoning in vector based geographic information systems (GIS) is based on Euclidean geometry. Euclidean geometry is built upon Euclid's first postu...
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
In this paper, we propose a fast method for separating reflection components using a single color image. We first propose a specular-free two-band image that is a specularity-inva...
95
Voted
CIARP
2009
Springer
15 years 7 months ago
2009
Springer
In this article an autonomous visual perception framework for humanoids is presented. This model-based framework exploits the available knowledge and context acquired during global...
70
Voted
ECBS
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we present a theoretical protocol for autonomic distribution of services in a P2P environment, as well as the results of its simulated implementation. Our objective...
136
Voted
EUROPLOP
2006
15 years 2 months ago
2006
Abstract: As a general rule of thumb, business logic in a multi-layered information system should be implemented in a dedicated domain layer and be separated from the presentation ...