2414 search results - page 135 / 483 » Computing Normal Subgroups |
BIRTHDAY
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
ICCHP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Through recent developments in the segment of mobile devices like personal digital assistants (PDA) the usage of mobile applications in different areas of our normal lif...
IWCM
2004
Springer
14 years 2 months ago
2004
Springer
Standard optical flow methods for motion or disparity estimation use a brightness constancy constraint equation (BCCE). This BCCE either handles a moving camera imaging a non-movi...
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
This paper describes a method to recover scene geometry from the second-bounce of light transport. We show that form factors (up to a scaling ambiguity) can be derived from the sec...