Sciweavers

342 search results - page 56 / 69
» From the Editor's Desk
Sort
View
SIGADA
2001
Springer
14 years 2 months ago
Automating software module testing for FAA certification
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
Usha Santhanam
IAAI
2003
13 years 11 months ago
Broadcast News Understanding and Navigation
The Broadcast News Editor (BNE) and Broadcast News Navigator (BNN) are fully implemented systems that exploit integrated image, speech, and language processing to support intellig...
Mark T. Maybury
CORR
2010
Springer
143views Education» more  CORR 2010»
13 years 10 months ago
Efficient and exact sampling of simple graphs with given arbitrary degree sequence
Uniform sampling from graphical realizations of a given degree sequence is a fundamental component in simulation-based measurements of network observables, with applications rangi...
Charo I. Del Genio, Hyunju Kim, Zoltán Toro...
MANSCI
2006
104views more  MANSCI 2006»
13 years 9 months ago
Procuring Fast Delivery: Sole Sourcing with Information Asymmetry
This paper studies a queuing model in which a buyer sources a good or service from an single supplier chosen from a pool of suppliers. The buyer seeks to minimize the sum of her p...
Gérard P. Cachon, Fuqiang Zhang
ICFP
2007
ACM
14 years 9 months ago
Bidirectionalization transformation based on automatic derivation of view complement functions
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Ma...