8555 search results - page 1383 / 1711 » Property Based Coordination |
153
click to vote
CEAS
2005
Springer
16 years 11 days ago
2005
Springer
Email is an increasingly important and ubiquitous means of communication, both facilitating contact between individuals and enabling rises in the productivity of organizations. Ho...
193
click to vote
CEFP
2005
Springer
16 years 11 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
167
click to vote
CIS
2005
Springer
16 years 11 days ago
2005
Springer
⎯A new nonslicing floorplan representation, the moving block sequence (MBS), is proposed in this paper. Our idea of the MBS originates from the observation that placing blocks on...
180
click to vote
DAGM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper we present a novel image-based 3D surface reconstruction technique that incorporates reflectance, polarisation, and defocus information into a variational ...
226
click to vote
DALT
2005
Springer
16 years 11 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...