Sciweavers

4854 search results - page 148 / 971
» It's the Programming, Stupid
Sort
View
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 7 months ago
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...
Johannes Oetsch, Jörg Pührer, Martin Sch...
150
Voted
ENTCS
2007
83views more  ENTCS 2007»
15 years 7 months ago
Enhancing Theorem Prover Interfaces with Program Slice Information
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
Louise A. Dennis
SIAMJO
2008
139views more  SIAMJO 2008»
15 years 7 months ago
An Augmented Primal-Dual Method for Linear Conic Programs
We propose a new iterative approach for solving linear programs over convex cones. Assuming that Slaters condition is satisfied, the conic problem is transformed to the minimizatio...
Florian Jarre, Franz Rendl
183
Voted
SIGPRO
2008
201views more  SIGPRO 2008»
15 years 6 months ago
Multichannel blind seismic deconvolution using dynamic programming
In this paper, we present an algorithm for multichannel blind deconvolution of seismic signals, which exploits lateral continuity of earth layers by dynamic programming approach. ...
Alon Heimer, Israel Cohen
CANDC
2000
ACM
15 years 6 months ago
Step by Step Filter Based Program for Calculations of Highly Informative Derivative Curves
We have developed a microcomputer program, based on a recently described approach called step by step filter (SBSF), for calculation of derivative curves directly from spectra rec...
Vesselin Petrov, Liudmil Antonov, Hitoshi Ehara, N...