Sciweavers

1521 search results - page 136 / 305
» Role analysis
Sort
View
SIAMCO
2000
52views more  SIAMCO 2000»
14 years 11 months ago
Lyapunov Characterizations of Input to Output Stability
This paper presents necessary and sufficient characterizations of several notions of input to output stability. Similar Lyapunov characterizations have been found to play a key ro...
Eduardo Sontag, Yuan Wang
AI
2000
Springer
14 years 11 months ago
On agent-based software engineering
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
Nicholas R. Jennings
RAID
2004
Springer
15 years 5 months ago
Formal Reasoning About Intrusion Detection Systems
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Ka...
ISBI
2008
IEEE
15 years 6 months ago
An optimal-path approach for neural circuit reconstruction
Neurobiologists are collecting large amounts of electron microscopy image data to gain a better understanding of neuron organization in the central nervous system. Image analysis ...
Elizabeth Jurrus, Ross T. Whitaker, Bryan W. Jones...
CSB
2005
IEEE
131views Bioinformatics» more  CSB 2005»
15 years 5 months ago
Current Challenges in Bioimage Database Design
Information technology research has played a significant role in the high-throughput acquisition and analysis of biological information. The tremendous amount of information gath...
Ambuj K. Singh, Arnab Bhattacharya, Vebjorn Ljosa