Sciweavers

1363 search results - page 79 / 273
» On some Relations between Dynamical Systems and Transition S...
Sort
View
SP
2005
IEEE
188views Security Privacy» more  SP 2005»
15 years 3 months ago
BIND: A Fine-Grained Attestation Service for Secure Distributed Systems
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...
Elaine Shi, Adrian Perrig, Leendert van Doorn
HYBRID
2010
Springer
15 years 4 months ago
Automatic invariant generation for hybrid systems using ideal fixed points
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
Sriram Sankaranarayanan
ICMCS
2008
IEEE
156views Multimedia» more  ICMCS 2008»
15 years 4 months ago
A fuzzy statistical correlation-based approach to content-based image retrieval
This paper presents an effective fuzzy long-term semantic learning method for relevance feedback-based image retrieval. The proposed system uses a statistical correlationbased met...
Xiaojun Qi, Ran Chang
SYRCODIS
2008
184views Database» more  SYRCODIS 2008»
14 years 11 months ago
Towards Cost-based Query Optimization in Native XML Database Management Systems
In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...
Andreas M. Weiner, Christian Mathis, Theo Här...
CIBCB
2008
IEEE
15 years 4 months ago
Temporal and structural analysis of biological networks in combination with microarray data
— We introduce a graph-based relational learning approach using graph-rewriting rules for temporal and structural analysis of biological networks changing over time. The analysis...
Chang Hun You, Lawrence B. Holder, Diane J. Cook