Showing 41 - 60 results of 416 for search 'Italy of Values', query time: 0.75s Refine Results
  1. 41
    Frontiers of Combining Systems 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings /
    Published 2002
    Table of Contents: “… -- Constraint-Lambda Calculi -- Labelled Deduction over Algebras of Truth-Values* -- A Temporal × Modal Approach…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 42
    Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Introducing Exclusion Logic as a Deontic Logic -- Privacy Policies with Modal Logic: The Dynamic Turn -- Value…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 43
    Networked Group Communication First International COST264 Workshop, NGC'99, Pisa, Italy, November 17-20, 1999 Proceedings /
    Published 1999
    Table of Contents: “… -- The Direction of Value Flow in Connectionless Networks -- Techniques for Making IP Multicast Simple and Scalable…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 44
    Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings /
    Published 2012
    Table of Contents: “… for Heterogeneous Graphs Extracted from a Relational Database -- Exploiting Data Dependencies with Null Values…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 45
    Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers /
    Published 2010
    Table of Contents: “… Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 46
    Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Boosting -- The Value of Agreement, a New Boosting Algorithm -- Unlabeled Data, Multiclass Classification…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 47
    Computer Vision – ECCV 2012. Workshops and Demonstrations Florence, Italy, October 7-13, 2012, Proceedings, Part I /
    Published 2012
    Table of Contents: “… Shape Analysis for Population Studies via Level-Set Based Shape Morphing -- Group-Valued Regularization…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 48
    Exploring Services Science 8th International Conference, IESS 2017, Rome, Italy, May 24-26, 2017, Proceedings /
    Published 2017
    Table of Contents: “… Development of e-Services techniques -- Healthcare and the Co-creation of Value: Qualifying the service roles…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 49
    Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Session D: Work in Progress on Value Chains and Service Level Agreements -- Towards a Generic Value…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 50
    Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
    Published 2007
    Table of Contents: “… on Polynomial Interpretations -- Grids: A Domain for Analyzing the Distribution of Numerical Values.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 51
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /
    Published 2009
    Table of Contents: “… in Many-Valued Logics -- Algorithms for Uncertain Inference -- Inference from Multinomial Data Based on a…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 52
    Algorithms and Complexity 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings /
    Published 2006
    Table of Contents: “… of Cluster Editing -- Session 11 -- The Linear Arrangement Problem Parameterized Above Guaranteed Value…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 53
    FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Synchronous System Design -- Model Checking -- Generating Counterexamples for Multi-valued Model-Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 54
    Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings /
    Published 2019
    Table of Contents: “… Question Answering for Question Routing -- A Pattern Language for Value Modeling in ArchiMate -- Paving…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 55
    Business Process Management Workshops BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers /
    Published 2009
    Table of Contents: “… on QoS in Self-healing Web Services (QSWS 2008) -- On Modeling and Maximizing Business Value…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 56
    Multiple Classifier Systems 5th International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004. Proceedings /
    Published 2004
    Full Text via HEAL-Link
    Electronic eBook
  17. 57
    Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings /
    Published 2008
    Table of Contents: “…: Defeating Relations and Truth Values -- Appropriate Reasoning about Data Dependencies in Fixed…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 58
    Algorithmic Aspects in Information and Management 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings /
    Published 2016
    Table of Contents: “… Value from a Stream Buffer -- Algorithmic Aspects of Upper Domination: A Parameterised Perspective…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 59
    Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014. Proceedings /
    Published 2014
    Table of Contents: “… and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 60
    Mobile and Ubiquitous Information Access Mobile HCI 2003 International Workshop, Udine, Italy, September 8, 2003, Revised and Invited Papers /
    Published 2004
    Table of Contents: “… Communities in Physical and Logical Context Areas as Added Value of Mobile and Ubiquitous Applications…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search