1218 search results - page 76 / 244 » Scaling up a |
IJISEC
2008
13 years 9 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
JSCIC
2008
13 years 9 months ago
2008
Abstract This paper proposes and implements a novel hybrid level set method which combines the numerical efficiency of the local level set approach with the temporal stability affo...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
An approach to robotics called layered evolution and merging features from the subsumption architecture into evolutionary robotics is presented, and its advantages are discussed. T...
COLING
2002
13 years 9 months ago
2002
In this paper we propose an integration of a selforganizing map and semantic networks from WordNet for a text classification task using the new Reuters news corpus. This neural mo...
NAR
2000
13 years 8 months ago
2000
ProDom contains all protein domain families automatically generated from the SWISS-PROT and TrEMBL sequence databases (http://www.toulouse. inra.fr/prodom.html ). ProDom-CG result...