324 search results - page 44 / 65 » Towards a type theory of contexts |
SIAMNUM
2010
13 years 2 months ago
2010
This paper deals with error estimates for space-time discretizations in the context of nary variational inequalities of rate-independent type. After introducing a general abstract ...
ICIP
2008
IEEE
2008
IEEE
An automatic method to learn and transfer the photometric appearance of partially overlapping images
14 years 2 months ago
The first major contribution of this paper is a robust method to learn the photometric mapping between the overlapping portions of two registered images acquired either under dif...
EDUTAINMENT
2007
Springer
14 years 1 months ago
2007
Springer
Most storytelling model approaches consider stories formed by sequences of a particular type of event. These sequences are mostly constructed using the inherent temporal characteri...
CLA
2007
13 years 9 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
FCS
2006
13 years 9 months ago
2006
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...