Sciweavers

9316 search results - page 227 / 1864
» Analysis of traceback techniques
Sort
View
PTS
2008
98views Hardware» more  PTS 2008»
15 years 6 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
156
Voted
AVI
2006
15 years 6 months ago
An explorative analysis of user evaluation studies in information visualisation
This paper presents an analysis of user studies from a review of papers describing new visualisation applications and uses these to highlight various issues related to the evaluat...
Geoffrey Ellis, Alan J. Dix
ACL
1996
15 years 6 months ago
Noun-Phrase Analysis in Unrestricted Text for Information Retrieval
Information retrieval is an important application area of natural-language processing where one encounters the genuine challenge of processing large quantities of unrestricted nat...
David A. Evans, ChengXiang Zhai
ENTCS
2006
154views more  ENTCS 2006»
15 years 5 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
Pascal Sotin, David Cachera, Thomas P. Jensen
JBI
2006
107views Bioinformatics» more  JBI 2006»
15 years 5 months ago
Knowledge guided analysis of microarray data
To microarray expression data analysis, it is well accepted that biological knowledge-guided clustering techniques show more advantages than pure mathematical techniques. In this ...
Zhuo Fang, Jiong Yang, Yixue Li, Qing-ming Luo, Le...