Sciweavers

1246 search results - page 46 / 250
» Online testing with model programs
Sort
View
ICDAR
2005
IEEE
14 years 3 months ago
IAM-OnDB - an On-Line English Sentence Database Acquired from Handwritten Text on a Whiteboard
In this paper we present IAM-OnDB - a new large online handwritten sentences database. It is publicly available and consists of text acquired via an electronic interface from a wh...
Marcus Liwicki, Horst Bunke
POPL
2006
ACM
14 years 10 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
JCIT
2007
131views more  JCIT 2007»
13 years 10 months ago
Experiential Motives for Playing Online Games
Online games represent a burgeoning market sector of increasing economic importance. The distinctive entertainment-oriented features of such games provide various experiential val...
Dong-Mo Koo, Soo-Hyung Lee, Heung-Seub Chang
ICSE
1997
IEEE-ACM
14 years 2 months ago
Choosing a Testing Method to Deliver Reliability
Testing methods are compared in a model where program failures are detected and the software changed to eliminate them. The question considered is whether it is better to use test...
Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewo...
JMLR
2012
12 years 15 days ago
Wilks' phenomenon and penalized likelihood-ratio test for nonparametric curve registration
The problem of curve registration appears in many different areas of applications ranging from neuroscience to road traffic modeling. In the present work, we propose a nonparamet...
Arnak S. Dalalyan, Olivier Collier