Results 1  10
of
16,062
Monotone Real Sequences. Subsequences
"... this paper. We follow the rules: n, m, k are natural numbers, r is a real number, and s 1 , s 2 , s 3 are sequences of real numbers. Let s 1 be a partial function from N to R. We say that s 1 is increasing if and only if: (Def. 1) For every n holds s 1 (n) ! s 1 (n + 1): We say that s 1 is decreasin ..."
Abstract

Cited by 96 (9 self)
 Add to MetaCart
this paper. We follow the rules: n, m, k are natural numbers, r is a real number, and s 1 , s 2 , s 3 are sequences of real numbers. Let s 1 be a partial function from N to R. We say that s 1 is increasing if and only if: (Def. 1) For every n holds s 1 (n) ! s 1 (n + 1): We say that s 1
Robust realtime face detection
 International Journal of Computer Vision
, 2004
"... We have constructed a frontal face detection system which achieves detection and false positive rates which are equivalent to the best published results [7, 5, 6, 4, 1]. This face detection system is most clearly distinguished from previous approaches in its ability to detect faces extremely rapidly ..."
Abstract

Cited by 1888 (9 self)
 Add to MetaCart
rapidly. Operating on 384 by 288 pixel images, faces are detected at 15 frames per second on a conventional 700 MHz Intel Pentium III. In other face detection systems, auxiliary information, such as image differences in video sequences, or pixel color in color images, have been used to achieve high frame
Symbolic Model Checking for Realtime Systems
 INFORMATION AND COMPUTATION
, 1992
"... We describe finitestate programs over realnumbered time in a guardedcommand language with realvalued clocks or, equivalently, as finite automata with realvalued clocks. Model checking answers the question which states of a realtime program satisfy a branchingtime specification (given in an ..."
Abstract

Cited by 578 (50 self)
 Add to MetaCart
We describe finitestate programs over realnumbered time in a guardedcommand language with realvalued clocks or, equivalently, as finite automata with realvalued clocks. Model checking answers the question which states of a realtime program satisfy a branchingtime specification (given
RealTime Tracking of NonRigid Objects using Mean Shift
 IEEE CVPR 2000
, 2000
"... A new method for realtime tracking of nonrigid objects seen from a moving camera isproposed. The central computational module is based on the mean shift iterations and nds the most probable target position in the current frame. The dissimilarity between the target model (its color distribution) an ..."
Abstract

Cited by 815 (19 self)
 Add to MetaCart
A new method for realtime tracking of nonrigid objects seen from a moving camera isproposed. The central computational module is based on the mean shift iterations and nds the most probable target position in the current frame. The dissimilarity between the target model (its color distribution
A Critical Point For Random Graphs With A Given Degree Sequence
, 2000
"... Given a sequence of nonnegative real numbers 0 ; 1 ; : : : which sum to 1, we consider random graphs having approximately i n vertices of degree i. Essentially, we show that if P i(i \Gamma 2) i ? 0 then such graphs almost surely have a giant component, while if P i(i \Gamma 2) i ! 0 the ..."
Abstract

Cited by 507 (8 self)
 Add to MetaCart
Given a sequence of nonnegative real numbers 0 ; 1 ; : : : which sum to 1, we consider random graphs having approximately i n vertices of degree i. Essentially, we show that if P i(i \Gamma 2) i ? 0 then such graphs almost surely have a giant component, while if P i(i \Gamma 2) i ! 0
Real linear space of real sequences
 http://mizar.org/JFM/Vol15/rsspace.html. SPACE OF BOUNDED LINEAR OPERATORS 7
"... Summary. The article is a continuation of [15]. As the example of real linear spaces, we introduce the arithmetic addition in the set of real sequences and also introduce the multiplication. This set has the arithmetic structure which depends on these arithmetic operations. ..."
Abstract

Cited by 8 (7 self)
 Add to MetaCart
Summary. The article is a continuation of [15]. As the example of real linear spaces, we introduce the arithmetic addition in the set of real sequences and also introduce the multiplication. This set has the arithmetic structure which depends on these arithmetic operations.
Real sequences and basic operations on them
 Journal of Formalized Mathematics
, 1989
"... Summary. Definition of real sequence and operations on sequences (multiplication of sequences and multiplication by a real number, addition, subtraction, division and absolute value of sequence) are given. ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
Summary. Definition of real sequence and operations on sequences (multiplication of sequences and multiplication by a real number, addition, subtraction, division and absolute value of sequence) are given.
THE BANACH SPACE OF BOUNDED REAL SEQUENCES
, 2004
"... We introduce the arithmetic addition and multiplication in the set of bounded real sequences and introduce the norm also. This set has the structure of the Banach space. ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We introduce the arithmetic addition and multiplication in the set of bounded real sequences and introduce the norm also. This set has the structure of the Banach space.
Global Optimization with Polynomials and the Problem of Moments
 SIAM JOURNAL ON OPTIMIZATION
, 2001
"... We consider the problem of finding the unconstrained global minimum of a realvalued polynomial p(x) : R R, as well as the global minimum of p(x), in a compact set K defined by polynomial inequalities. It is shown that this problem reduces to solving an (often finite) sequence of convex linear ma ..."
Abstract

Cited by 577 (48 self)
 Add to MetaCart
We consider the problem of finding the unconstrained global minimum of a realvalued polynomial p(x) : R R, as well as the global minimum of p(x), in a compact set K defined by polynomial inequalities. It is shown that this problem reduces to solving an (often finite) sequence of convex linear
Performance of optical flow techniques
 INTERNATIONAL JOURNAL OF COMPUTER VISION
, 1994
"... While different optical flow techniques continue to appear, there has been a lack of quantitative evaluation of existing methods. For a common set of real and synthetic image sequences, we report the results of a number of regularly cited optical flow techniques, including instances of differential, ..."
Abstract

Cited by 1325 (32 self)
 Add to MetaCart
While different optical flow techniques continue to appear, there has been a lack of quantitative evaluation of existing methods. For a common set of real and synthetic image sequences, we report the results of a number of regularly cited optical flow techniques, including instances of differential
Results 1  10
of
16,062