142 search results - page 3 / 29 » Perpetuality and Uniform Normalization |
STTT
2008
13 years 4 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
ICCV
2009
IEEE
13 years 2 months ago
2009
IEEE
We present a novel technique, termed attached shadow coding, for estimating surface normals from shadows when the reflectance and lighting conditions are unknown. Our key idea is ...
TCS
2008
13 years 4 months ago
2008
We introduce a new unification procedure for the type inference problem in the intersection type discipline. It is well known that type inference in this case should succeed exact...
TARK
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
ICPR
2002
IEEE
14 years 6 months ago
2002
IEEE
Humans are articulated objects composed of non-rigid parts. We are interested in detecting and tracking human motions over various periods of time. In this paper we describe a met...