Sciweavers

1425 search results - page 274 / 285
» The combined ISAC-ER methodology of information systems deve...
Sort
View
RV
2010
Springer
177views Hardware» more  RV 2010»
14 years 8 months ago
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
Etienne Kneuss, Philippe Suter, Viktor Kuncak
VIZSEC
2005
Springer
15 years 3 months ago
Multiple Coordinated Views for Network Attack Graphs
While efficient graph-based representations have been developed for modeling combinations of low-level network attacks, relatively little attention has been paid to effective tech...
Steven Noel, Michael Jacobs, Pramod Kalapa, Sushil...
BMCBI
2007
167views more  BMCBI 2007»
14 years 9 months ago
A stochastic differential equation model for transcriptional regulatory networks
Background: This work explores the quantitative characteristics of the local transcriptional regulatory network based on the availability of time dependent gene expression data se...
Adriana Climescu-Haulica, Michelle D. Quirk
MM
2005
ACM
164views Multimedia» more  MM 2005»
15 years 3 months ago
Automatic discovery of query-class-dependent models for multimodal search
We develop a framework for the automatic discovery of query classes for query-class-dependent search models in multimodal retrieval. The framework automatically discovers useful q...
Lyndon S. Kennedy, Apostol Natsev, Shih-Fu Chang
78
Voted
CVRMED
1997
Springer
15 years 1 months ago
Rigid registration of CT, MR and cryosection images using a GLCM framework
The majority of the available rigid registration measures are based on a 2-dimensional histogram of corresponding grey-values in the registered images. This paper shows that these ...
Morten Bro-Nielsen