3172 search results - page 84 / 635 » Combining Specification Techniques for Processes, Data and T... |
166
click to vote
ESWA
2006
15 years 6 months ago
2006
Proteomics is a field dedicated to the analysis and identification of proteins within an organism. Within proteomics, two-dimensional electrophoresis (2-DE) is currently unrivalle...
166
click to vote
SC
1991
ACM
15 years 10 months ago
1991
ACM
Kanada, Y., A method of vector processing for shared symbolic data, Parallel Computing, X (1993) XXX-XXX. Conventional processing techniques for pipelined vector processors such a...
162
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A novel technique for time domain spatial sound reproduction using compressed sensing is presented. The presented technique is based on the application of compressed sensing theor...
173
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
This paper proposes a scheme for scheduling disk requests that takes advantage of the ability of high-level functions to operate directly at individual disk drives. We show that s...
163
click to vote
IFL
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...