8671 search results - page 1517 / 1735 » A generator for hierarchical problems |
177
click to vote
BELL
2000
15 years 6 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
147
click to vote
COMBINATORICS
2000
15 years 6 months ago
2000
A tournament sequence is an increasing sequence of positive integers (t1, t2, . . .) such that t1 = 1 and ti+1 2ti. A Meeussen sequence is an increasing sequence of positive inte...
237
click to vote
CN
2002
15 years 6 months ago
2002
With the fast adoption of IP-based communications for mobile computing, users are expecting a similar service in wireless and wired networks. This raises the need for setting guar...
170
click to vote
COLING
2002
15 years 6 months ago
2002
A number of machine translation systems based on the learning algorithms are presented. These methods acquire translation rules from pairs of similar sentences in a bilingual text...
152
click to vote
COMCOM
2002
15 years 6 months ago
2002
With the phenomenal growth of the Internet and open networks in general, security services, such as non-repudiation, become crucial to many applications. Nonrepudiation services m...