@conference {14192,
	title = {Active scene recognition with vision and language},
	booktitle = {2011 IEEE International Conference on Computer Vision (ICCV)},
	year = {2011},
	month = {2011/11/06/13},
	pages = {810 - 817},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {This paper presents a novel approach to utilizing high level knowledge for the problem of scene recognition in an active vision framework, which we call active scene recognition. In traditional approaches, high level knowledge is used in the post-processing to combine the outputs of the object detectors to achieve better classification performance. In contrast, the proposed approach employs high level knowledge actively by implementing an interaction between a reasoning module and a sensory module (Figure 1). Following this paradigm, we implemented an active scene recognizer and evaluated it with a dataset of 20 scenes and 100+ objects. We also extended it to the analysis of dynamic scenes for activity recognition with attributes. Experiments demonstrate the effectiveness of the active paradigm in introducing attention and additional constraints into the sensing process.},
	keywords = {accuracy, active scene recognition, classification performance, Cognition, Computer vision, Detectors, Equations, high level knowledge utilization, HUMANS, image classification, inference mechanisms, object detectors, Object recognition, reasoning module, sensing process, sensory module, support vector machines, Training},
	isbn = {978-1-4577-1101-5},
	doi = {10.1109/ICCV.2011.6126320},
	author = {Yu,Xiaodong and Ferm{\"u}ller, Cornelia and Ching Lik Teo and Yezhou Yang and Aloimonos, J.}
}
@conference {19286,
	title = {Methods for efficient implementation of Model Predictive Control on multiprocessor systems},
	booktitle = {2010 IEEE International Conference on Control Applications (CCA)},
	year = {2010},
	month = {2010},
	pages = {1357 - 1362},
	abstract = {Model Predictive Control (MPC) has been used in a wide range of application areas including chemical engineering, food processing, automotive engineering, aerospace, and metallurgy. An important limitation on the application of MPC is the difficulty in completing the necessary computations within the sampling interval. Recent trends in computing hardware towards greatly increased parallelism offer a solution to this problem. This paper describes modeling and analysis tools to facilitate implementing the MPC algorithms on parallel computers, thereby greatly reducing the time needed to complete the calculations. The use of these tools is illustrated by an application to a class of MPC problems.},
	keywords = {Computational modeling, COMPUTERS, Equations, Hardware, Linear systems, Mathematical model, model predictive control, MPC algorithms, Multiprocessing systems, Multiprocessor systems, parallel computers, predictive control, Program processors},
	author = {Gu, Ruirui and Bhattacharyya, Shuvra S. and Levine,W. S}
}
@conference {18483,
	title = {Sound field decomposition using spherical microphone arrays},
	booktitle = {IEEE International Conference on Acoustics, Speech and Signal Processing, 2008. ICASSP 2008},
	year = {2008},
	month = {2008///},
	pages = {277 - 280},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {Spherical microphone arrays offer a number of attractive properties such as direction-independent acoustic behavior and ability to reconstruct the sound field in the vicinity of the array. Such ability is necessary in applications such as ambisonics and recreating auditory environment over headphones. We compare the performance of two scene reconstruction algorithms - one based on least-squares fitting the observed potentials and another based on computing the far-field signature function directly from the microphone measurements. A number of features important for the design and operation of spherical microphone arrays in real applications are revealed. Results indicate that it is possible to reconstruct the sound scene up to order p with p2 microphones.},
	keywords = {Acoustic applications, Acoustic arrays, Acoustic fields, acoustic position measurement, Acoustic propagation, acoustic signal processing, acoustic waves, array signal processing, Equations, far-field signature function, Layout, least-squares fitting, microphone arrays, scene reconstruction algorithms, Signal processing algorithms, sound field decomposition, spherical microphone arrays, Surface acoustic waves},
	isbn = {978-1-4244-1483-3},
	doi = {10.1109/ICASSP.2008.4517600},
	author = {Zotkin,Dmitry N and Duraiswami, Ramani and Gumerov, Nail A.}
}
@conference {18480,
	title = {Frequency Independent Flexible Spherical Beamforming Via Rbf Fitting},
	booktitle = {2006 IEEE International Conference on Acoustics, Speech and Signal Processing, 2006. ICASSP 2006 Proceedings},
	volume = {5},
	year = {2006},
	month = {2006/05//},
	pages = {V-V - V-V},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {We describe a new method for sound analysis using a spherical microphone array without the use of quadrature over the sphere. Quadrature based solutions are very sensitive to the placement of microphones on the sphere, needing measurements to be made at exactly the quadrature positions. We propose to use fitting with band-limited radial basis functions (RBFs) rather than quadrature. Our approach results in frequency independent beamformer weights for flexibly placed microphone locations. Results are demonstrated using both synthetic and real spherical array data},
	keywords = {acoustic signal processing, array signal processing, band-limited radial basis functions, Computer science, Educational institutions, Eigenvalues and eigenfunctions, Equations, Frequency, frequency independent beamformer weights, frequency independent flexible spherical beamforming, microphone arrays, Nails, Position measurement, RBF fitting, Robustness, sound analysis, spherical array data, spherical microphone array},
	isbn = {1-4244-0469-X},
	doi = {10.1109/ICASSP.2006.1661208},
	author = {Yerukhimovich,A. and Duraiswami, Ramani and Gumerov, Nail A. and Zotkin,Dmitry N}
}
@conference {14209,
	title = {Compound eye sensor for 3D ego motion estimation},
	booktitle = {2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2004. (IROS 2004). Proceedings},
	volume = {4},
	year = {2004},
	month = {2004/10/28/Sept.},
	pages = {3712- 3717 vol.4 - 3712- 3717 vol.4},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {We describe a compound eye vision sensor for 3D ego motion computation. Inspired by eyes of insects, we show that the compound eye sampling geometry is optimal for 3D camera motion estimation. This optimality allows us to estimate the 3D camera motion in a scene-independent and robust manner by utilizing linear equations. The mathematical model of the new sensor can be implemented in analog networks resulting in a compact computational sensor for instantaneous 3D ego motion measurements in full six degrees of freedom.},
	keywords = {3D camera motion estimation, CAMERAS, compound eye vision sensor, Computer vision, Equations, Eyes, Geometry, Image sensors, Insects, linear equations, Motion estimation, robot vision, Robustness, sampling geometry, Sampling methods, Sensor phenomena and characterization},
	isbn = {0-7803-8463-6},
	doi = {10.1109/IROS.2004.1389992},
	author = {Neumann, J. and Ferm{\"u}ller, Cornelia and Aloimonos, J. and Brajovic,V.}
}
@conference {11899,
	title = {Mixture models for dynamic statistical pressure snakes},
	booktitle = {16th International Conference on Pattern Recognition, 2002. Proceedings},
	volume = {2},
	year = {2002},
	month = {2002///},
	pages = {721- 724 vol.2 - 721- 724 vol.2},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {This paper introduces a new approach to statistical pressure snakes. It uses statistical modeling for both object and background to obtain a more robust pressure model. The Expectation Maximization (EM) algorithm is used to model the data into a Mixture of Gaussians (MoG). Bayesian theory is then employed as a decision making mechanism. Experimental results using the traditional pressure model and the new mixture pressure model demonstrate the effectiveness of the new models.},
	keywords = {active contour models, Active contours, Artificial intelligence, Bayes methods, Bayesian methods, Bayesian theory, complex colored object, Computer vision, decision making, decision making mechanism, dynamic statistical pressure snakes, Equations, expectation maximization algorithm, Gaussian distribution, image colour analysis, Image edge detection, Image segmentation, Intelligent robots, mixture models, mixture of Gaussians, mixture pressure model, Robot vision systems, robust pressure model, Robustness, segmentation results, statistical analysis, statistical modeling},
	isbn = {0-7695-1695-X},
	doi = {10.1109/ICPR.2002.1048404},
	author = {Abd-Almageed, Wael and Smith,C.E.}
}
@conference {11993,
	title = {Self-calibration from image derivatives},
	booktitle = {Sixth International Conference on Computer Vision, 1998},
	year = {1998},
	month = {1998/01/04/7},
	pages = {83 - 89},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {This study investigates the problem of estimating the calibration parameters from image motion fields induced by a rigidly moving camera with unknown calibration parameters, where the image formation is modeled with a linear pinhole-camera model. The equations obtained show the flow to be clearly separated into a component due to the translation and the calibration parameters and a component due to the rotation and the calibration parameters. A set of parameters encoding the latter component are linearly related to the flow, and from these parameters the calibration can be determined. However, as for discrete motion, in the general case it is not possible, to decouple image measurements from two frames only into their translational and rotational component. Geometrically, the ambiguity takes the form of a part of the rotational component being parallel to the translational component, and thus the scene can be reconstructed only up to a projective transformation. In general, for a full calibration at least four successive image frames are necessary with the 3D-rotation changing between the measurements. The geometric analysis gives rise to a direct self-calibration method that avoids computation of optical flow or point correspondences and uses only normal flow measurements. In this technique the direction of translation is estimated employing in a novel way smoothness constraints. Then the calibration parameters are estimated from the rotational components of several flow fields using Levenberg-Marquardt parameter estimation, iterative in the calibration parameters only. The technique proposed does not require calibration objects in the scene or special camera motions and it also avoids the computation of exact correspondence. This makes it suitable for the calibration of active vision systems which have to acquire knowledge about their intrinsic parameters while they perform other tasks, or as a tool for analyzing image sequences in large video databases},
	keywords = {3D-rotation, active vision, Calibration, CAMERAS, discrete motion, Encoding, Equations, image derivatives, image formation, image measurements, Image motion analysis, image motion fields, Image reconstruction, Image sequences, large video databases, Layout, Levenberg-Marquardt parameter estimation, linear pinhole-camera model, Motion estimation, Motion measurement, Optical computing, parameter estimation, projective transformation, rigidly moving camera, self-calibration, smoothness constraints, unknown calibration parameters},
	isbn = {81-7319-221-9},
	doi = {10.1109/ICCV.1998.710704},
	author = {Brodsky, T. and Ferm{\"u}ller, Cornelia and Aloimonos, J.}
}
@conference {12799,
	title = {Efficient model checking via the equational μ-calculus},
	booktitle = {, Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS {\textquoteright}96. Proceedings},
	year = {1996},
	month = {1996/07/27/30},
	pages = {304 - 312},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {This paper studies the use of an equational variant of the modal μ-calculus as a unified framework for efficient temporal logic model checking. In particular we show how an expressive temporal logic, CTL*, may be efficiently translated into the μ-calculus. Using this translation, one may then employ μ-calculus model-checking techniques, including on-the-fly procedures, BDD-based algorithms and compositional model-checking approaches, to determine if systems satisfy formulas in CTL*},
	keywords = {Automata, BDD-based algorithms, Boolean functions, Calculus, compositional model-checking approaches, computational complexity, Computer science, CTL*, Data structures, Encoding, equational variant, equational μ-calculus, Equations, expressive temporal logic, Logic, Maintenance, modal μ-calculus, Model checking, on-the-fly procedures, Surges, temporal logic, temporal logic model checking, unified framework},
	isbn = {0-8186-7463-6},
	doi = {10.1109/LICS.1996.561358},
	author = {Bhat,G. and Cleaveland, Rance}
}
@article {17222,
	title = {Image-browser taxonomy and guidelines for designers},
	journal = {IEEE Software},
	volume = {12},
	year = {1995},
	month = {1995/03//},
	pages = {21 - 32},
	abstract = {In many applications users must browse large images. Most designers merely use two one-dimensional scroll bars or ad hoc designs for two-dimensional scroll bars. However, the complexity of two-dimensional browsing suggests that more careful analysis, design, and evaluation might lead to significant improvements. Our exploration of existing 2D browsers has led us to identify many features and a wide variety of tasks performed with the browsers. We introduce an informal specification technique to describe 2D browsers and a task taxonomy, suggest design features and guidelines, and assess existing strategies. We focus on the tools to explore a selected image and so do not cover techniques to browse a series of images or to browse large-image databases},
	keywords = {analysis, Computer Graphics, design, designer guidelines, Equations, Europe, Evaluation, Formal specifications, Graphical user interfaces, Guidelines, IMAGE PROCESSING, image-browser taxonomy, informal specification technique, Laboratories, large image browsing, Layout, Road transportation, selected image exploration, SHAPE, Software design, task taxonomy, Taxonomy, tools, two-dimensional browsing, user interface management systems, visual databases},
	isbn = {0740-7459},
	doi = {10.1109/52.368260},
	author = {Plaisant, Catherine and Carr,D. and Shneiderman, Ben}
}
@conference {12031,
	title = {Iso-distortion contours and egomotion estimation},
	booktitle = {Proceedings of International Symposium on Computer Vision, 1995},
	year = {1995},
	month = {1995/11/21/23},
	pages = {55 - 60},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {This paper introduces the framework of iso-distortion contour to deal with the problem of depth distortion due to erroneous motion estimates, and various related aspects such as the effectiveness of the visibility constraint. The framework can also be used to inquire the uniqueness aspect of normal flow. Future work will examine the implications of the iso-distortion contours for the problem of multiple frame integration},
	keywords = {Automation, Computer vision, Degradation, depth distortion, Educational institutions, egomotion estimation, Equations, erroneous motion estimates, Error analysis, HUMANS, Image sequences, iso-distortion contours, Laboratories, Layout, Motion estimation, Robustness, visibility constraint},
	isbn = {0-8186-7190-4},
	doi = {10.1109/ISCV.1995.476977},
	author = {LoongFah Cheong and Aloimonos, J.}
}
@conference {14174,
	title = {Global 3D motion estimation},
	booktitle = {, 1993 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1993. Proceedings CVPR {\textquoteright}93},
	year = {1993},
	month = {1993/06/15/17},
	pages = {415 - 421},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {It is shown how a monocular observer can estimate its 3D motion relative to the scene by using normal flow measurements in a global and qualitative way. It is proved that local normal flow measurements form global patterns in the image plane. The position of these patterns is related to the 3D motion parameters. By locating some of these patterns, which depend only on subsets of the motion parameters, through a simple search technique, the 3D motion parameters can be found. The proposed algorithmic procedure is very robust, since it is not affected by small perturbations in the normal flow measurements. The direction of translation and the axis of rotation can be estimated with up to 100\% error in the image measurements},
	keywords = {3D motion parameters, Automation, axis of rotation, Computer vision, direction of translation, Educational institutions, Equations, Fluid flow measurement, global 3D motion estimation, Laboratories, Layout, monocular observer, Motion estimation, Motion measurement, normal flow measurements, Robustness, Rotation measurement, search problems, search technique, State estimation},
	isbn = {0-8186-3880-X},
	doi = {10.1109/CVPR.1993.341097},
	author = {Ferm{\"u}ller, Cornelia}
}
