Sciweavers

1019 search results - page 76 / 204
» Uniform Functors on Sets
Sort
View
CORR
2011
Springer
174views Education» more  CORR 2011»
13 years 4 months ago
Left invertibility of discrete-time output-quantized systems: the linear case with finite inputs
This paper studies left invertibility of discrete-time linear output-quantized systems. Quantized outputs are generated according to a given partition of the state-space, while inp...
Nevio Dubbini, Benedetto Piccoli, Antonio Bicchi
ICPR
2004
IEEE
14 years 10 months ago
Developing Assistant Tools for Geometric Camera Calibration: Assessing the Quality of Input Images
This paper proposes two indicators for predicting the quality of camera model parameters from a set of input images. The first indicator is based on the acutance. It can quickly i...
Jean-Nicolas Ouellet, Patrick Hébert
PPDP
2009
Springer
14 years 3 months ago
An embedded declarative data transformation language
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
Paul Tarau
PKC
2007
Springer
147views Cryptology» more  PKC 2007»
14 years 3 months ago
New Chosen-Ciphertext Attacks on NTRU
We present new and efficient key-recovery chosen-ciphertext attacks on NTRUencrypt. Our attacks are somewhat intermediate between chosen-ciphertext attacks on NTRUencrypt previousl...
Nicolas Gama, Phong Q. Nguyen
MKM
2004
Springer
14 years 2 months ago
An Architecture for Distributed Mathematical Web Services
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
Elena S. Smirnova, Clare M. So, Stephen M. Watt