sign in · help · news · about ·

BibSonomy :: author :: Paquet ::

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

(204)

<< < 1 | 2 | 3 > >>

Using the General Intensional Programming System GIPSY for Evaluation of Higher-Order Intensional Logic HOIL Expressions
Serguei A. Mokhov, and Joey Paquet CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
Serguei A. Mokhov, and Joey Paquet CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Advances in the Design and Implementation of a Multi-Tier Architecture in the GIPSY Environment
Bin Han 0002, Serguei A. Mokhov, and Joey Paquet CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid
Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi CoRR (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY
Serguei A. Mokhov, and Joey Paquet CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Furthering Baseline Core Lucid
Joey Paquet, and Serguei A. Mokhov CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Complete Context Calculus Design and Implementation in GIPSY
Xin Tong 0002, Joey Paquet, and Serguei A. Mokhov CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid
Aihua Wu, Joey Paquet, and Serguei A. Mokhov CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Comparative Studies of Programming Languages; Course Lecture Notes
Joey Paquet, and Serguei A. Mokhov CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Reasoning About an ACME Printer Case Investigation with Forensic Lucid
Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Towards Solving the Interdisciplinary Language Barrier Problem
Sébastien Paquet CoRR (2001)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY
Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Towards Refactoring the DMF to Support Jini and JMS DMS in GIPSY
Yi Ji 0002, Serguei A. Mokhov, and Joey Paquet CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Visual Data Mining from Visualization to Visual Information Mining.
Herna L. Viktor, and Eric Paquet Encyclopedia of Data Warehousing and Mining, IGI Global, (2009)
to dblp by dblp on Nov 25, 2011, 12:00 AM
URL | BibTeX
On the application of 3D technologies to the framework of cultural heritage.
Eric Paquet, and Herna L. Viktor Annales des Télécommunications 60(11-12):1379-1393 (2005)
to dblp by dblp on Nov 16, 2011, 12:00 AM
URL | BibTeX
Privacy Disclosure and Preservation in Learning with Multi-Relational Databases.
Hongyu Guo, Herna L. Viktor, and Eric Paquet JCSE 5(3):183-196 (2011)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
An Optimized Multi-stream Decoding Algorithm for Handwritten Word Recognition.
Yousri Kessentini, Thierry Paquet, and Ahmed Guermazi ICDAR, page 192-196. IEEE, (2011)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Dempster-Shafer Based Rejection Strategy for Handwritten Word Recognition.
Thomas Burger, Yousri Kessentini, and Thierry Paquet ICDAR, page 528-532. IEEE, (2011)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Continuous CRF with Multi-scale Quantization Feature Functions Application to Structure Extraction in Old Newspaper.
David Hebert, Thierry Paquet, and Stéphane Nicolas ICDAR, page 493-497. IEEE, (2011)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY.
Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi PST, page 120-123. IEEE, (2011)
to dblp by dblp on Sep 15, 2011, 12:00 AM
URL | BibTeX

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