4103 search results - page 658 / 821 » Some results on the Collatz problem |
150
click to vote
SPIN
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
164
click to vote
VLDB
2001
ACM
15 years 10 months ago
2001
ACM
In this paper we focus on the following problem in information management: given a large collection of recorded information and some knowledge of the process that is generating th...
160
click to vote
FGR
2000
IEEE
15 years 10 months ago
2000
IEEE
Low-dimensional representations of sensory signals are key to solving many of the computational problems encountered in high-level vision. Principal Component Analysis (PCA) has b...
183
click to vote
ICC
2000
IEEE
15 years 10 months ago
2000
IEEE
As the Internet transforms from the traditional best-effort service network into QoS-capable multi-service network, it is essential to have new architectural design and appropriate...
166
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
One fundamental problem with streaming video data over unreliable IP networks is that packets may be dropped or arrive too late for real-time playback. Traditional error-control s...