Sciweavers

168 search results - page 20 / 34
» Abstract Interpretation for Worst and Average Case Analysis
Sort
View
66
Voted
ECIS
2001
15 years 1 months ago
The Articulation of Shared Meaning in Information Systems Development
This paper presents a case study showing how Repertory Grid Analysis (RGA) can be used to construct shared meaning during information systems development, implementation and use. ...
Christopher J. Davis
IPCO
2007
126views Optimization» more  IPCO 2007»
15 years 1 months ago
The Smoothed Number of Pareto Optimal Solutions in Bicriteria Integer Optimization
Abstract. A well established heuristic approach for solving various bicriteria optimization problems is to enumerate the set of Pareto optimal solutions, typically using some kind ...
René Beier, Heiko Röglin, Berthold V&o...
BMCBI
2008
164views more  BMCBI 2008»
14 years 12 months ago
Word correlation matrices for protein sequence analysis and remote homology detection
Background: Classification of protein sequences is a central problem in computational biology. Currently, among computational methods discriminative kernel-based approaches provid...
Thomas Lingner, Peter Meinicke
92
Voted
CORR
2000
Springer
103views Education» more  CORR 2000»
14 years 11 months ago
Automatic Termination Analysis of Programs Containing Arithmetic Predicates
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua S...
VTC
2006
IEEE
15 years 5 months ago
Performance Analysis of a Rate-Adaptive Dual-Branch Switched Diversity System
Abstract— In this paper, a performance analysis of a dualbranch switched diversity system operating on identically distributed Nakagami-m fading channels is presented. An adaptiv...
Bengt Holter, Geir E. Øien