6149 search results - page 366 / 1230 » Revealing the programming process |
189
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...
169
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
SUPERCONTIGS is a genome-finishing tool that orders, orients and groups contigs based on clone pair information and an alignment with a related genome. The program can be used in ...
171
click to vote
ACL
2007
15 years 8 months ago
2007
We present a formalization of dependency labeling with Integer Linear Programming. We focus on the integration of subcategorization into the decision making process, where the var...
159
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Inspired by recent theoretical advances in compressive sensing (CS), we propose a new framework that combines the classical local discrete cosine transform used in image compressi...
154
click to vote
IR
2008
15 years 6 months ago
2008
We develop efficient dynamic programming algorithms for pattern matching with general gaps and character classes. We consider patterns of the form p0g(a0, b0)p1g(a1, b1) . . . pm-1...