3865 search results - page 143 / 773 » From Bidirectionality to Alternation |
142
click to vote
LOGCOM
2006
15 years 4 months ago
2006
In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The ...
126
click to vote
MOR
2006
15 years 4 months ago
2006
We describe an extension procedure for constructing new standardized time series procedures from existing ones. The approach is based on averaging over sample paths obtained by per...
158
click to vote
UTP
2010
15 years 3 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
145
click to vote
ECCV
2004
Springer
16 years 6 months ago
2004
Springer
In this paper we present an approach for separating two transparent layers in images and video sequences. Given two initial unknown physical mixtures, I1 and I2, of real scene laye...
141
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. This paper presents a novel method for photorealistic rendering of the bronchial lumen by directly deriving matched shading and texture parameters from video bronchoscope...