Sciweavers

703 search results - page 66 / 141
» Fundamentals of Session Types
Sort
View
CVPR
2010
IEEE
16 years 12 hour ago
Admissible Linear Map Models of Linear Cameras
This paper presents a complete analytical characterization of a large class of central and non-central imaging devices dubbed linear cameras by Ponce [9]. Pajdla [7] has shown tha...
Guillaume Batog, Xavier Goaoc, Jean Ponce
FSEN
2009
Springer
15 years 10 months ago
A Process-Theoretic Look at Automata
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Lutti...
108
Voted
ICIP
2008
IEEE
15 years 10 months ago
An automatic method to learn and transfer the photometric appearance of partially overlapping images
The first major contribution of this paper is a robust method to learn the photometric mapping between the overlapping portions of two registered images acquired either under dif...
Marco Zuliani, Luca Bertelli, B. S. Manjunath
118
Voted
PIMRC
2008
IEEE
15 years 10 months ago
Analysis of three-parameter diversely polarized array manifold
Abstract—An investigative study of three–parameter diversely polarized array manifold is presented in this paper. With a polarization diversity, an extra degree of signal discr...
Supawat Supakwong, Athanassios Manikas, Anthony G....
117
Voted
IEEEARES
2007
IEEE
15 years 10 months ago
Pastures: Towards Usable Security Policy Engineering
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
Sergey Bratus, Alex Ferguson, Doug McIlroy, Sean W...