2909 search results - page 261 / 582 » Consistency of the theory of contexts |
184
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
202
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
185
click to vote
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
We study the mathematical and numerical aspects of the estimation of the 3-D shape of a Lambertian scene seen under diffuse illumination. This problem is known as “shape from amb...
159
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed algorithm that allows ...
156
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This article demonstrates the way in which Knowledge Management System (KMS) quality influences effective competitive advantage through decision making and through organizational ...