5863 search results - page 961 / 1173 » On Model-Checking of P Systems |
151
click to vote
COMPSEC
2006
15 years 6 months ago
2006
Operating System fingerprinting is a reconnaissance method which can be used by attackers or forensic investigators. It identifies a system's identity by observing its respon...
172
click to vote
ISI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we present a new tool for semantic analytics through 3D visualization called "Semantic Analytics Visualization" (SAV). It has the capability for visualizing...
157
click to vote
MOR
2008
15 years 6 months ago
2008
We consider the average cost problem for partially observable Markov decision processes (POMDP) with finite state, observation, and control spaces. We prove that there exists an -...
173
click to vote
IDA
2007
Springer
15 years 6 months ago
2007
Springer
Graph grammars combine the relational aspect of graphs with the iterative and recursive aspects of string grammars, and thus represent an important next step in our ability to dis...
143
click to vote
BC
2005
15 years 6 months ago
2005
Thelateral-linesystemisauniquefacilityofaquatic animals to locate predator, prey, or conspecifics. We present a detailed model of how the clawed frog Xenopus, or fish, can localize...