2909 search results - page 383 / 582 » Consistency of the theory of contexts |
203
click to vote
LOPSTR
2007
Springer
16 years 21 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
184
click to vote
SCIA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper introduces a new concept within shadow segmentation for usage in shadow removal and augmentation through construction of a multiplicity alpha overlay shadow mo...
300
click to vote
SERA
2007
Springer
16 years 20 days ago
2007
Springer
Capacity planning is a technique which can be used to predict the computing resource needs of an organization for the future after studying current usage patterns. This is of spec...
148
click to vote
TARK
2007
Springer
16 years 20 days ago
2007
Springer
A classical result in voting theory, the Gibbard-Satterthwaite Theorem, states that for any non-dictatorial voting rule for choosing between three or more candidates, there will b...
188
click to vote
CRV
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper considers the problem of shape-from-shading using nearby planar distributed illuminants. It is shown that a rectangular planar nearby distributed uniform isotropic illu...