Sciweavers

941 search results - page 67 / 189
» The Second Order Particle System
Sort
View
FSTTCS
2005
Springer
15 years 10 months ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
IUI
2010
ACM
15 years 9 months ago
A multi faceted recommendation approach for explorative video retrieval tasks
In this paper we examine the use of multi faceted recommendations to aid users while carrying out exploratory video retrieval tasks. These recommendations are integrated into ViGO...
David Vallet, Martin Halvey, David Hannah, Joemon ...
ICCBR
1999
Springer
15 years 8 months ago
Flexibly Interleaving Processes
We discuss several problems of analogy-driven proof plan construction which prevent a solution for more diæcult target problems or make a solution very expensive. Some of these pr...
Erica Melis, Carsten Ullrich
AMC
2006
94views more  AMC 2006»
15 years 4 months ago
Error analysis of a specialized numerical method for mathematical models from neuroscience
The exponential Euler method is a nonstandard approximation scheme that was developed specifically for the Hodgkin-Huxley differential equation models that arise in neuroscience a...
Jiyeon Oh, Donald A. French
IJNSEC
2010
141views more  IJNSEC 2010»
14 years 11 months ago
Protection of an Intrusion Detection Engine with Watermarking in Ad Hoc Networks
In this paper we present an intrusion detection engine comprised of two main elements; firstly, a neural network for the actual detection task and secondly watermarking techniques...
Aikaterini Mitrokotsa, Nikos Komninos, Christos Do...