42507 search results - page 434 / 8502 » On the analysis of |
189
click to vote
VIP
2000
15 years 8 months ago
2000
Quantitative PET studies usually require invasive blood sampling from a peripheral artery to obtain an input function for accurate modelling. However, blood sampling is impractica...
176
click to vote
AAAI
1996
15 years 8 months ago
1996
Rule induction research implicitly assumes that after producing the rules from a dataset, these rules will be used directly by an expert system or a human user. In real-life appli...
190
click to vote
ANLP
1994
15 years 8 months ago
1994
The authors propose a model for analyzing English sentences including coordinate conjunctions such as "and","or","but" and the equivalent words. Synt...
208
click to vote
WCET
2007
15 years 8 months ago
2007
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...
172
click to vote
WOTUG
2007
15 years 8 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...