| |
|
| |
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 91-102.
|
| |
|
| |
|
| |
Reliable Distributed Systems, 2004. Proceedings of the 23rd IEEE International Symposium on In Reliable Distributed Systems, 2004. Proceedings of the 23rd IEEE International Symposium on, Vol. 0 (2004), pp. 66-78.
|
| |
Discrete and Computational Geometry, Vol. 4, No. 1. (30 December 1989), pp. 101-115.
|
| |
First Monday, Vol. 2, No. 5. (5 May 1997)
|
| |
|
| |
|
| |
|
| |
Open Source Systems (2006), pp. 345-346.
|
| |
|
| |
|
| |
Higher-Order and Symbolic Computation, Vol. 12, No. 3. (1999), pp. 221-236.
|
| |
SIAM J. Comput., Vol. 18, No. 6. (December 1989), pp. 1245-1262.
|
| |
|
| |
In Seattle Tech Startups (9 September 2009)
|
| |
|
| |
J. Funct. Program., Vol. 19, No. 1. (2009), pp. 95-106.
|
| |
|
| |
Signal Processing, IEEE Transactions on In Signal Processing, IEEE Transactions on, Vol. 41, No. 12. (1993), pp. 3445-3462.
|
| |
In SODA '09: Proceedings of the Nineteenth Annual ACM -SIAM Symposium on Discrete Algorithms (2009), pp. 477-485.
|
| |
J. ACM, Vol. 47, No. 6. (November 2000), pp. 1012-1027.
|
| |
In ACM Conference on Computer and Communications Security (1993), pp. 62-73.
|
| |
Machine Learning, Vol. 24, No. 2. (1996), pp. 123-140.
|
| |
J. Complex., Vol. 6, No. 2. (1990), pp. 192-198.
|
| |
In Advances in Ultra-Dependable Distributed Systems, N. Suri, C. J. Walter, and M. M. Hugue (Eds.), IEEE Computer Society Press (1995)
|
| |
J. ACM, Vol. 39, No. 4. (October 1992), pp. 869-877.
|
| |
Pattern Analysis and Machine Intelligence, IEEE Transactions on, Vol. 22, No. 12. (06 August 2002), pp. 1349-1380.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 7, No. 3. (July 1985), pp. 404-425.
|
| |
ACM Trans. Database Syst., Vol. 33, No. 3. (2008), pp. 1-33.
|
| |
Machine Learning, Vol. 1, No. 1. (1 March 1986), pp. 81-106.
|
| |
IEEE Transactions on Computers, Vol. 35 (1986), pp. 677-691.
|
| |
In SIGCOMM '01: Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications, Vol. 31, No. 4. (October 2001), pp. 149-160.
|
| |
In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28--31, 1996. Seattle, {WA} (1996), pp. 229-243.
|
| |
IEEEash ACM Transactions on Networking, Vol. 1, No. 4. (1993), pp. 397-413.
|
| |
In SIGMOD '88: Proceedings of the 1988 ACM SIGMOD international conference on Management of data (1988), pp. 109-116.
|
| |
Commun. ACM, Vol. 5, No. 7. (July 1962), pp. 394-397.
|
| |
Science (New York, N.Y.), Vol. 220, No. 4598. (13 May 1983), pp. 671-680.
|
| |
The Journal of Symbolic Logic, Vol. 40, No. 4. (December 1975), 618.
|
| |
International Journal of Computer Vision, Vol. 7, No. 1. (1 November 1991), pp. 11-32.
|
| |
Commun. ACM, Vol. 21, No. 2. (1 February 1978), pp. 120-126.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 28, No. 3. (2006), pp. 517-575.
|
| |
In In Proceedings of the VII PROPOR, Vol. 3960 (2006), pp. 50-59.
|
| |
In In Proceedings of the 10th European Associtation for Machine Translation Conference (2005), pp. 79-86.
|
| |
|
| |
|
| |
Software-Practice and Experience, Vol. 21, No. 11. (November 1991), pp. 1221-1248.
|
| |
In In PLOP Proceedings, Vol. 43 (1997)
|
Search
