3731 search results - page 655 / 747 » cases 2006 |
JACM
2000
15 years 12 days ago
2000
We consider comparator networks M that are used repeatedly: while the output produced by M is not sorted, it is fed again into M. Sorting algorithms working in this way are called ...
131
click to vote
JAR
2000
15 years 12 days ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
JASIS
2000
15 years 12 days ago
2000
: This paper argues that professional discourses tend to align themselves with dominant ideological and social forces by means of language. In twentieth century modernity, the use ...
100
click to vote
JC
2000
15 years 12 days ago
2000
We rst review thebasic properties of the well knownclasses of Toeplitz, Hankel, Vandermonde, and other related structured matrices and reexamine their correlation to operations wi...
JDM
2000
15 years 12 days ago
2000
Little work has been completed which addresses the logical composition and use of ternary relationships in entity-relationship modeling. Many modeling notations and most CASE tool...