6 hits in 0.007 sec.
A descartes algorithm for polynomials with Bit-Stream coefficients
[Score: 100%]
Author / Editor: Eigenwillig, Arno; Mehlhorn, Kurt | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2005 | 12 s.
Journal / Series / Collection: Computer algebra in scientific computing
Subject Area: Informatik
Author / Editor: Eigenwillig, Arno; Mehlhorn, Kurt | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2005 | 12 s.
Journal / Series / Collection: Computer algebra in scientific computing
Subject Area: Informatik
On the correctness of operating system kernels
[Score: 100%]
Author / Editor: Gargano, Mauro; Paul, Wolfgang J. | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2005 | 16 s.
Journal / Series / Collection: Theorem proving in higher order logics
Subject Area: Informatik
Author / Editor: Gargano, Mauro; Paul, Wolfgang J. | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2005 | 16 s.
Journal / Series / Collection: Theorem proving in higher order logics
Subject Area: Informatik
A faster combinatorial approximation algorithm for scheduling unrelated parallel machines
[Score: 100%]
Author / Editor: Gairing, Martin; Monien, Burkhard; Woclaw, Andreas | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2005 | 12 s.
Journal / Series / Collection: Automata, languages and programming
Subject Area: Informatik
Author / Editor: Gairing, Martin; Monien, Burkhard; Woclaw, Andreas | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2005 | 12 s.
Journal / Series / Collection: Automata, languages and programming
Subject Area: Informatik
Computational linguistic support for legal ontology construction
[Score: 100%]
Author / Editor: Walter, Stephan; Pinkal, Manfred | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 2005 | 27 s.
Journal / Series / Collection: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy
Subject Area: Informatik
Author / Editor: Walter, Stephan; Pinkal, Manfred | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 2005 | 27 s.
Journal / Series / Collection: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy
Subject Area: Informatik
Selfish routing with incomplete information
[Score: 100%]
Author / Editor: Gairing, Martin; Monien, Burkhard; Tiemann, Karsten | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 2005 | 10 s.
Journal / Series / Collection: SPAA 2005 : Seventeenth Annual ACM Symposium on parallelism in algorithms and architectures, July 18-20, 2005, Las Vegas, Nevada, USA
Subject Area: Informatik
Author / Editor: Gairing, Martin; Monien, Burkhard; Tiemann, Karsten | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 2005 | 10 s.
Journal / Series / Collection: SPAA 2005 : Seventeenth Annual ACM Symposium on parallelism in algorithms and architectures, July 18-20, 2005, Las Vegas, Nevada, USA
Subject Area: Informatik
Computational linguistic support for legal ontology construction
[Score: 100%]
Author / Editor: Walter, Stephan; Pinkal, Manfred | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 2005 | 2 s.
Journal / Series / Collection: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy
Subject Area: Informatik
Author / Editor: Walter, Stephan; Pinkal, Manfred | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 2005 | 2 s.
Journal / Series / Collection: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy
Subject Area: Informatik