Sciweavers

526 search results - page 72 / 106
» High-throughput modeling and analysis of protein structural ...
Sort
View
CSL
2010
Springer
15 years 27 days 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
15 years 6 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
14 years 11 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
15 years 4 months 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
15 years 5 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...