Sciweavers

556 search results - page 33 / 112
» Pair Programming: Not for Everyone
Sort
View
CTRS
1987
14 years 15 days ago
Confluence of Conditional Rewrite Systems
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
ACTAC
2008
145views more  ACTAC 2008»
13 years 9 months ago
Sentence Alignment of Hungarian-English Parallel Corpora Using a Hybrid Algorithm
We present an ecient hybrid method for aligning sentences with their translations in a parallel bilingual corpus. The new algorithm is composed of a length-based and anchor matchi...
Krisztina Tóth, Richárd Farkas, Andr...
SIGSOFT
2009
ACM
14 years 9 months ago
Asserting and checking determinism for multithreaded programs
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
Jacob Burnim, Koushik Sen
ECCV
2000
Springer
14 years 11 months ago
Model Based Pose Estimator Using Linear-Programming
Given a ? object and some measurements for points in this object, it is desired to find the ? location of the object. A new model based pose estimator from stereo pairs based on l...
Moshe Ben-Ezra, Shmuel Peleg, Michael Werman
BMCBI
2007
119views more  BMCBI 2007»
13 years 9 months ago
A dynamic programming approach for the alignment of signal peaks in multiple gas chromatography-mass spectrometry experiments
Background: Gas chromatography-mass spectrometry (GC-MS) is a robust platform for the profiling of certain classes of small molecules in biological samples. When multiple samples ...
Mark D. Robinson, David P. De Souza, Woon Wai Keen...