.............................................................................................................................. ii Dedication .......................................................................................................................... iv Acknowledgments............................................................................................................... v T...

Working group: A. Ballestrero, S. Banerjee, A. Blondel, M. Campanelli, F. Cavallari, D. G. Charlton, H. S. Chen, D. v. Dierendonck, A. Gaidot, Ll. Garrido, D. Gelé, M. W. Grünewald, G. Gustafson, C. Hartmann, F. Jegerlehner, A. Juste, S. Katsanevas, V. A. Khoze, N. J. Kjær, L. Lönnblad, E. Maina, M. Martinez, R. Møller, G. J. van Oldenborgh, J. P. Pansart, P. Perez, P. B. Renton, T. Riemann, M....

Title: Mechanical signals at the base of a rat vibrissa: The effect of 1 intrinsic vibrissa curvature and implications for tactile exploration 2 3 Running Title: May the force be whisk you 4 5 Authors: Brian W. Quist 6 Biomedical Engineering Department 7 Northwestern University 8 2145 Sheridan Rd 9 Evanston, IL 60208 10 11 Mitra J.Z. Hartmann 12 Mechanical Engineering Department 13 Biomedical E...

We summarise the properties of the Sloan Digital Sky Survey (SDSS) project, discuss our software infrastructure, and outline the architecture of the SDSS image processing pipelines. We then discuss two of the algorithms used in the SDSS image processing; the Karhunen-Loève transform based modelling of the spatial variation of the PSF, and the use of galaxy models in star/galaxy separation. We c...

Some types of documents need to meet size constraints, such as fitting into a limited number of pages. This can be a difficult constraint to enforce in a pipelined natural language generation (NLG) system, because size is mostly determined by content decisions, which usually are made at the beginning of the pipeline, but size cannot be accurately measured until the document has been completely ...

In this chapter, we show how to use the Bit-level Analysis Tool (BAT) [21, 22, 20, 4] for hardware verification. The BAT system has been used in the analysis of systems ranging from cryptographic hash functions to machine code to biological systems to large component-based software systems [24, 13, 19], but here we focus on one application: verification of pipelined hardware systems. This chapt...

This chapter explores some hypothetical computer vision pipeline designs to understand HW/SW design alternatives and optimizations. Instead of looking at isolated computer vision algorithms, this chapter ties together many concepts into complete vision pipelines. Vision pipelines are sketched out for a few example applications to illustrate the use of different methods. Example applications inc...

In this paper, we consider the problem of debugging large pipelines by human labeling. We represent the execution of a pipeline using a directed acyclic graph of AND and OR nodes, where each node represents a data item produced by some operator in the pipeline. We assume that each operator assigns a confidence to each of its output data. We want to reduce the uncertainty in the output by issuin...

In this paper we apply a recently formulated general timing model of synchronous operation to the special case of latch-controlled pipelined circuits. The model accounts for multiphase synchronous clocking, correctly captures the behavior of level-sensitive latches, handles both shortand longpath delays, accommodates wave pipelining, and leads to a comprehensive set of timing constraints. Pipel...