Sciweavers

265 search results - page 28 / 53
» metrics 2002
Sort
View
IEE
2002
92views more  IEE 2002»
15 years 3 months ago
Comparison of Web size measures for predicting Web design and authoring effort
: Software practitioners recognise the importance of realistic estimates of effort for the successful management of software projects, the Web being no exception. Estimates are nec...
Emilia Mendes, Nile Mosley, Steve Counsell
LISP
2002
107views more  LISP 2002»
15 years 3 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi
MVA
2002
175views Computer Vision» more  MVA 2002»
15 years 3 months ago
Augmented geophysical data interpretation through automated velocity picking in semblance velocity images
Velocity Picking is the problem of picking velocity-time pairs based on a coherence metric between multiple seismic signals. Coherence as a function of velocity and time can be ex...
J. Ross Beveridge, Charlie Ross, L. Darrell Whitle...
PE
2002
Springer
132views Optimization» more  PE 2002»
15 years 3 months ago
Performance evaluation with temporal rewards
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...
Jeroen Voeten
HICSS
2002
IEEE
87views Biometrics» more  HICSS 2002»
15 years 9 months ago
Interactive Document Summarisation Using Automatically Extracted Keyphrases
This paper describes the Interactive Document Summariser (IDS). IDS provides dynamic control over document summary characteristics, such as length and topicfocus, so that changesm...
Steve Jones, Stephen Lundy, Gordon W. Paynter