Sciweavers

526 search results - page 72 / 106
» High-throughput modeling and analysis of protein structural ...
Sort
View
CSL
2010
Springer
13 years 9 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
MASSDATA
2007
Springer
14 years 2 months ago
A General Approach to Shape Characterization for Biomedical Problems
Abstract. In this paper, we present a general approach to shape characterization and deformation analysis of 2D/3D deformable visual objects. In particular, we define a reference ...
Davide Moroni, Petra Perner, Ovidio Salvetti
AI
2000
Springer
13 years 7 months ago
Stochastic dynamic programming with factored representations
Markov decisionprocesses(MDPs) haveproven to be popular models for decision-theoretic planning, but standard dynamic programming algorithms for solving MDPs rely on explicit, stat...
Craig Boutilier, Richard Dearden, Moisés Go...
COMPSAC
1999
IEEE
14 years 8 days ago
Dynamic Software Architecture Slicing
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
Taeho Kim, Yeong-Tae Song, Lawrence Chung, Dung T....
ICIP
2005
IEEE
14 years 1 months ago
Content-based medical image retrieval using dynamically optimized regional features
This paper proposes a content-based medical image retrieval (CBMIR) framework using dynamically optimized features from multiple regions of medical images. These regional features...
Wei Xiong, Bo Qiu, Qi Tian, Changsheng Xu, Sim Hen...