Sciweavers

3707 search results - page 362 / 742
» A Simple Technique for Self-Calibration
Sort
View
RE
2008
Springer
15 years 6 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
SAC
2008
ACM
15 years 6 months ago
An objective way to evaluate and compare binarization algorithms
The choice of the best binarization algorithm is very critical for any document image processing system, since it is one of the first tasks and any mistake it performs will be car...
Ergina Kavallieratou
156
Voted
IPL
2010
92views more  IPL 2010»
15 years 5 months ago
Learning parities in the mistake-bound model
We study the problem of learning parity functions that depend on at most k variables (kparities) attribute-efficiently in the mistake-bound model. We design a simple, deterministi...
Harry Buhrman, David García-Soriano, Arie M...
JOLLI
2010
107views more  JOLLI 2010»
15 years 5 months ago
PGF: A Portable Run-time Format for Type-theoretical Grammars
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
Krasimir Angelov, Björn Bringert, Aarne Ranta
JSS
2010
91views more  JSS 2010»
15 years 5 months ago
Assessing the impact of global variables on program dependence and dependence clusters
This paper presents results of a study of the effect of global variables on the quantity of dependence in general and on the presence of dependence clusters in particular. The pa...
David Binkley, Mark Harman, Youssef Hassoun, Syed ...