2009 |
15 | EE | Serguei A. Mokhov,
Joey Paquet:
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
CoRR abs/0904.3789: (2009) |
2008 |
14 | EE | Serguei A. Mokhov:
Study of best algorithm combinations for speech processing tasks in machine learning using median vs. mean clusters in MARF.
C3S2E 2008: 29-43 |
13 | EE | Joey Paquet,
Serguei A. Mokhov,
Xin Tong:
Design and Implementation of Context Calculus in the GIPSY Environment.
COMPSAC 2008: 1278-1283 |
12 | EE | Serguei A. Mokhov:
Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL.
COMPSAC 2008: 1288-1294 |
11 | EE | Serguei A. Mokhov:
Choosing Best Algorithm Combinations for Speech Processing Tasks in Machine Learning Using MARF.
Canadian Conference on AI 2008: 216-221 |
10 | | Serguei A. Mokhov:
Study of the Alphabetic Indexing in a Scramble-like Word Puzzle Game.
FCS 2008: 131-136 |
9 | | Serguei A. Mokhov,
Joey Paquet,
Mourad Debbabi:
Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid.
IMF 2008: 197-216 |
8 | | Serguei A. Mokhov,
Mourad Debbabi:
File Type Analysis Using Signal Processing Techniques and Machine Learning vs. File Unix Utility for Forensic Analysis.
IMF 2008: 73-86 |
7 | EE | Serguei A. Mokhov:
Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems.
ISPDC 2008: 375-382 |
6 | | Serguei A. Mokhov,
Lee Wei Huynh,
Jian Li:
Managing Distributed MARF's Nodes with SNMP.
PDPTA 2008: 948-954 |
5 | EE | Serguei A. Mokhov,
Marc-André Laverdière,
Djamel Benredjem:
Taxonomy of Linux Kernel Vulnerability Solutions.
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education 2008: 485-493 |
2007 |
4 | EE | Serguei A. Mokhov:
Introducing MARF: a Modular Audio Recognition Framework and its Applications for Scientific and Software Engineering Research.
SCSS (1) 2007: 473-478 |
2005 |
3 | | Peter Grogono,
Serguei A. Mokhov,
Joey Paquet:
Toward JLucid, Lucid with Embedded Java Functions in the GIPSY.
PLC 2005: 15-21 |
2 | | Serguei A. Mokhov,
Joey Paquet:
Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY.
PLC 2005: 22-28 |
1 | | Serguei A. Mokhov,
Joey Paquet:
General Imperative Compiler Framework within the GIPSY.
PLC 2005: 36-42 |