Sciweavers

19130 search results - page 363 / 3826
» Modelling multi-path problems
Sort
View
COMPLIFE
2006
Springer
15 years 10 months ago
Adaptive Approach for Modelling Variability in Pharmacokinetics
Abstract. We present an improved adaptive approach for studying systems of ODEs affected by parameter variability and state space uncertainty. Our approach is based on a reformulat...
Andrea Y. Weiße, Illia Horenko, Wilhelm Huis...
ERCIMDL
2000
Springer
88views Education» more  ERCIMDL 2000»
15 years 10 months ago
Modeling Archival Repositories for Digital Libraries
This paper studies the archival problem: how a digital library can preserve electronic documents over long periods of time. We analyze how an archival repository can fail and we p...
Arturo Crespo, Hector Garcia-Molina
COLING
1996
15 years 8 months ago
Prepositional Phrase Attachment Through A Hybrid Disambiguation Model
Prepositional phrase attachment is a major cause of stru(:tural alnbiguity in natural language. Recent work has been dependent on corpus-based approaches to deal with this problem...
Haodong Wu, Teiji Furugori
APLAS
2010
ACM
15 years 7 months ago
Verification of Tree-Processing Programs via Higher-Order Model Checking
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi
AI
1998
Springer
15 years 6 months ago
GAS, A Concept on Modeling Species in Genetic Algorithms
This paper introduces a niching technique called GAS (S stands for species) which dynamically creates a subpopulation structure (taxonomic chart) using a radius function instead of...
Márk Jelasity, József Dombi