Sciweavers

1606 search results - page 230 / 322
» Using task analysis in documentation field research
Sort
View
128
Voted
COMPUTER
2002
103views more  COMPUTER 2002»
15 years 3 months ago
SimpleScalar: An Infrastructure for Computer System Modeling
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
Todd M. Austin, Eric Larson, Dan Ernst
128
Voted
POPL
2010
ACM
16 years 24 days ago
Counterexample-Guided Focus
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
Andreas Podelski, Thomas Wies
IADIS
2004
15 years 4 months ago
Towards Understanding of Factors Influencing User Acceptance of Mobile Payment Systems
M-payments, which refer to payments over a mobile device, have not taken off as fast as predicted. Their slow adoption rates raise many questions about what drives consumer behavi...
Agnieszka Zmijewska, Elaine Lawrence, Robert Steel...
131
Voted
ANLP
2000
157views more  ANLP 2000»
15 years 4 months ago
Experiments on Sentence Boundary Detection
This paper explores the problem of identifying sentence boundaries in the transcriptions produced by automatic speech recognition systems. An experiment which determines the level...
Mark Stevenson, Robert J. Gaizauskas
128
Voted
BMCBI
2010
175views more  BMCBI 2010»
15 years 3 months ago
Saliva Ontology: An ontology-based framework for a Salivaomics Knowledge Base
Background: The Salivaomics Knowledge Base (SKB) is designed to serve as a computational infrastructure that can permit global exploration and utilization of data and information ...
Jiye Ai, Barry Smith, Wong T. David