7661 search results - page 1400 / 1533 » Languages and the Computing Profession |
116
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The two parameter Poisson-Dirichlet process is also known as the PitmanYor Process and related to the Chinese Restaurant Process, is a generalisation of the Dirichlet Process, and...
108
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
126
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
129
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
158
click to vote
ENTCS
2008
15 years 4 months ago
2008
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...