BibSonomy :: author :: Calmet ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(61)

<< < 1 | 2 | 3 > >>

A Generic Query-Translation Framework for a Mediator Architecture.
Jacques Calmet, Sebastian Jekutsch, and Joachim Schü ICDE, page 434-443. IEEE Computer Society, (1997)
to dblp by dblp on Jan 25, 2012, 12:00 AM
URL | BibTeX
An Executable Graphical Representation of Mediatory Information Systems.
Jacques Calmet, Dirk Debertin, Sebastian Jekutsch, and Joachim Schü ICDE, page 124-131. IEEE Computer Society, (1996)
to dblp by dblp on Jan 25, 2012, 12:00 AM
URL | BibTeX
Editorial
Jacques Calmet, and Pierre Maret IJCSA 6(2):iii-iv (2009)
to dblp by dblp on Nov 14, 2011, 12:00 AM
URL | BibTeX
Specification and Integration of Theorem Provers and Computer Algebra Systems.
Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, and Karsten Homann Fundam. Inform. 39(1-2):39-57 (1999)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
An Improvement of Rabin's Probabilistic Algorithm for Generating Irreducible Polynomials over GFp.
Jacques Calmet, and Rüdiger Loos Inf. Process. Lett. 11(2):94-95 (1980)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
A Liberal Approach to Openness in Societies of Agents..
Jacques Calmet, Anusch Daemi, Regine Endsuleit, and Thilo Mie ESAW, volume 3071 of Lecture Notes in Computer Science, page 81-92. Springer, (2003)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Combining Theorem Proving and Symbolic Mathematical Computing.
Karsten Homann, and Jacques Calmet AISMC, volume 958 of Lecture Notes in Computer Science, page 18-29. Springer, (1994)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Specification and Integration of Theorem Provers and Computer Algebra Systems.
Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, and Karsten Homann AISC, volume 1476 of Lecture Notes in Computer Science, page 94-106. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Deterministic Versus Probabilistic Factorization of Integral Polynomials.
Jacques Calmet, and Rüdiger Loos EUROCAM, volume 144 of Lecture Notes in Computer Science, page 117-125. Springer, (1982)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
A Perspective on Symbolic Mathematical Computing and Artificial Intelligence.
Jacques Calmet, and John A. Campbell Ann. Math. Artif. Intell. 19(3-4):261-277 (1997)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
Composite Distributive Lattices as Annotation Domains for Mediators.
Jacques Calmet, Peter Kullmann, and Morio Taneda Ann. Math. Artif. Intell. 36(3):263-277 (2002)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
A review of Quantum Gravity at the Large Hadron Collider
Xavier Calmet (2010)cite arxiv:1005.1805 Comment: 32 pages, invited review .
to Gravity LHC Quantum by ad4 on May 10, 2011, 11:31 AM
URL | BibTeX
OntoBayes: An Ontology-Driven Uncertainty Model
Y. Yang, and J. Calmet (2005)
to imported by wyswilson and 3 other users on Apr 14, 2011, 7:06 AM
BibTeX
OntoBayes: An Ontology-Driven Uncertainty Model
Y. Yang, and J. Calmet (2005)
to imported by wyswilson and 3 other users on Nov 26, 2010, 9:32 AM
BibTeX
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence.
Jacques Calmet, and John A. Campbell AISC/MKM/Calculemus, volume 6167 of Lecture Notes in Computer Science, page 14-18. Springer, (2010)
to dblp by dblp on Jul 21, 2010, 3:57 PM
URL | BibTeX
Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises.
Jacques Calmet, Pierre Maret, and Marvin Schneider IJCSA 7(2):1-13 (2010)
to dblp by dblp on Jul 21, 2010, 3:49 PM
URL | BibTeX
OntoBayes: An Ontology-Driven Uncertainty Model
Yi Yang, and Jacques Calmet CIMCA '05: Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 CIMCA-IAWTIC'06, page 457--463. Washington, DC, USA, IEEE Computer Society, (2005)
to 2008-01-18 av:attached av:paper imported ontobayes proj:o4p toread by wnpxrz and 3 other users on May 27, 2010, 11:35 PM
URL | BibTeX
Preface.
Jacques Calmet, and Volker Sorge Ann. Math. Artif. Intell. 56(1):1-2 (2009)
to dblp by dblp on Feb 17, 2010, 12:00 AM
URL | BibTeX
Intelligent Computer Algebra System: Myth, Fancy or Reality?
Jacques Calmet Trends in Computer Algebra, volume 296 of Lecture Notes in Computer Science, page 2-11. Springer, (1987)
to dblp by dblp on Oct 14, 2009, 12:00 AM
URL | BibTeX
A Unified-Algebra-Based Specification Language for Symbolic Computing.
Jacques Calmet, and Indra A. Tjandra DISCO, volume 722 of Lecture Notes in Computer Science, page 122-133. Springer, (1993)
to dblp by dblp on Oct 8, 2009, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100