Please wait, searching for data...

Results of Research  1-37 of  37

1. Alberto Belussi, Sara Migliorini, Mauro Negri, Giuseppe Pelagatti, Validating Spatial Integrity Constraints through SQL Queries, Department ,  RR 78/2009 , 2009
   [Research Reports]
   Details
2. R. GIACOBAZZI, I. MASTROENI, Adjoining classified and unclassified information by Abstract Interpretation, Department ,  RR 63/2008 , 2008
   Summary
   [Research Reports]
   Details
3. B. Oliboni, G. Pozzani, An XML Schema for managing fuzzy documents, Department ,  RR 64/2008 , 2008
   Summary
   [Research Reports]
   Details
4. R. GIACOBAZZI, I. MASTROENI, A proof System for Abstract Non-Interference, Department ,  RR 62/2008 , 2008
   Summary
   [Research Reports]
   Details
5. I. MASTROENI, A. BANERJEE, Modelling Declassification Policies using Abstract Domain Completeness, Department ,  RR 61/2008 , 2008
   Summary
   [Research Reports]
   Details
6. S. De Marchi, R. Schaback, Stability constants for kernel-based interpolation processes, Department ,  59/08 , 2008
   Summary
   [Research Reports]
   Details
7. Maria Paola Bonacina, Nachum Dershowitz, Canonical ground Horn theories, Department ,  October 2007, 49/2007, 36 pages , 2007
   [Research Reports]
   Details
8. Maria Paola Bonacina and Mnacho Echenim, Theory decision by decomposition, Department ,  50/2007 , 2007
   [Research Reports]
   Details
9. Massimo Merro, An Observational Theory for Mobile Ad Hoc Networks, Department ,  RR 44/2006 , 2006
   [Research Reports]
   Details
10. Simone Zuccher, Marco Caliari, Gianluca Argentini, Stefano De Marchi, A study on premixed laminar flames, Department ,  46 , 2006
    [Research Reports]
    Details
11. Marco Cristani, Manuele Bicego, Vittorio Murino, Audio-Visual Event Recognition in Surveillance Video Sequences, Department ,  RR 42/2006 , 2006
    Summary
    [Research Reports]
    Details
12. Maria Paola Bonacina, Mnacho Echenim, Generic theorem proving for decision procedures, Department ,  41/2006 , 2006
    [Research Reports]
    Details
13. Massimo Merro and Corrado Biasi, On the Observational Theory of the CPS-calculus, Department ,  40/2006 , 2006
    [Research Reports]
    Details
14. L. IRSARA, A. FUSIELLO, Quasi-Euclidean Uncalibrated Epipolar Rectification, Department ,  RR 43/2006 , 2006
    [Research Reports]
    Details
15. L. MORATO, SIRI P, Stochastic Learning in IFSP for Images with Grey Levels, Department ,  RR 45/2006 , 2006
    [Research Reports]
    Details
16. L.M.Morato, M.I.Loffredo, Stochastic Quantization for a system of N identical interacting Bose particles, Department ,  RR 45/2006 , 2006
    [Research Reports]
    Details
17. Stefano Baratella, Andrea Masini, A note on unbounded Metric Temporal Logic over dense time domains, Department ,  RR 39/2005 , 2005
    [Research Reports]
    Details
18. G. Scollo, ω-rewriting the Collatz problem, Department ,  RR 25/2004 , 2004
    Summary
    [Research Reports]
    Details
19. Ugo Solitro, An interaction calculus for concurrent systems, Department ,  15/2004 , 2004
    [Research Reports]
    Details
20. C. Combi and B. Oliboni and R. Rossato, A semistructured data model for multimedia and temporal clinical information, Department ,  RR 22/2004 , 2004
    Summary
    [Research Reports]
    Details
21. Angelo Pica, AutoDid: an Educational Tool for Eigenvalue Analysis, Department ,  RR 27/2004 , 2004
    Summary
    [Research Reports]
    Details
22. Matthias Rath, Interactive Realtime Sound Models for Human-Computer Interaction (A Sound Design Concept and Applications), Department ,  RR 17/2004 , 2004
    Summary
    [Research Reports]
    Details
23. Alberto Belussi, Roberto Posenato, Internationalizing Data-Intensive Web Applications, Department ,  RR 16/2004 , 2004
    Summary
    [Research Reports]
    Details
24. Matteo Cristani, Managing the Work Flow of the Upgrade Procedure for Long Tunnels: An Artificial Intelligence Approach, Department ,  RR 20/2004 , 2004
    [Research Reports]
    Details
25. C. Combi and B. Oliboni and R. Rossato, Towards association rules for XML documents, Department ,  RR 21/2004 , 2004
    Summary
    [Research Reports]
    Details
26. Angelo Pica, ZeroFun: an Educational Tool for Finding Zeros of Univariate Functions, Department ,  RR 28/2004 , 2004
    Summary
    [Research Reports]
    Details
27. Matteo Cristani, An Ontology of Tunnel Safety Features, Department ,  RR 10/2003 , 2003
    [Research Reports]
    Details
28. G. Scollo and S. Zecchini, Architectural Unit Testing in a Robot Teleoperation Case Study, Department ,  RR 12/2003 , 2003
    Summary
    [Research Reports]
    Details
29. A. FUSIELLO, A. BENEDETTI, M. FARENZENA, A. BUSTI, Globally Convergent Autocalibration using Interval Analysis, Department ,  09/2003 , 2003
    [Research Reports]
    Details
30. G. Scollo, Morphism-driven design of graph colouring institutions, Department ,  RR 03/2003 , 2003
    Summary
    [Research Reports]
    Details
31. Matteo Cristani, Reasoning about Qualitative Relations between Straight Lines, Department ,  RR 06/2003 , 2003
    [Research Reports]
    Details
32. L.M. Morato, Solutions to some Partial Differential Equations and Rotational Feedbacks, Department ,  P2 , 2003
    [Research Reports]
    Details
33. Matteo Cristani and Robin Hirsch, The Complexity of Constraint Satisfaction Problems for Small Relation Algebras, Department ,  RR 08/2003 , 2003
    [Research Reports]
    Details
34. Matteo Cristani and Francesco Bellomi, Towards a General Theory of Arbitrary Decisions, Department ,  RR 07/2003 , 2003
    [Research Reports]
    Details
35. L. Ottaviani, Trasformata Wavelet e Trasformata di Gabor a confronto, Department ,  RR 13/2003 , 2003
    Summary
    [Research Reports]
    Details
36. L. MORATO, SIRI.P., Proposal of some Stochastic Algorthms in Image Fractal Compression, Department ,  P1 , 2001
    [Research Reports]
    Details
37. S. De Marchi, Generalized Vandermonde determinants, Toeplitz matrices and Schur functions, Department ,  176 , 1999
    [Research Reports]
    Details