Sciweavers

12459 search results - page 86 / 2492
» cans 2006
Sort
View
JFP
2006
67views more  JFP 2006»
13 years 9 months ago
Finger trees: a simple general-purpose data structure
We introduce 2-3 finger trees, a functional representation of persistent sequences supporting access to the ends in amortized constant time, and concatenation and splitting in tim...
Ralf Hinze, Ross Paterson
IJDE
2002
82views more  IJDE 2002»
13 years 8 months ago
Practical Approaches to Recovering Encrypted Digital Evidence
As more criminals use encryption to conceal incriminating evidence, forensic examiners require practical methods for recovering some or all of the encrypted data. This paper prese...
Eoghan Casey
IJAIT
2006
100views more  IJAIT 2006»
13 years 9 months ago
Ade - an Architecture Development Environment for Virtual and Robotic Agents
In this paper we present the agent architecture development environment ADE, intended for the design, implementation, and testing of distributed agent architectures. After a short...
Virgil Andronache, Matthias Scheutz
IJON
2006
73views more  IJON 2006»
13 years 9 months ago
Optimal selection of time lags for TDSEP based on genetic algorithm
In this letter, a two-step learning scheme for the optimal selection of time lags is proposed for a typical temporal blind source separation (TBSS), Temporal Decorrelation source ...
Zhan-Li Sun, De-Shuang Huang, Chun-Hou Zheng, Li S...
LMCS
2006
119views more  LMCS 2006»
13 years 9 months ago
The monadic second-order logic of graphs XVI : Canonical graph decompositions
This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more ge...
Bruno Courcelle