Search Results - program mind https function structures https

1

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /

Published 2014

Table of Contents: “... and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers...”
View full text

Electronic eBook

2

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
View full text

Electronic eBook

3

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Published 2015

Table of Contents: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
View full text

Electronic eBook

4

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
View full text

Electronic eBook

5

Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings /

Published 2005

Table of Contents: “... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...”
View full text

Electronic eBook

6

Extraction of Quantifiable Information from Complex Systems

Published 2014

Table of Contents: “...D. Belomestny, C. Bender, F. Dickmann, and N. Schweizer: Solving Stochastic Dynamic Programs...”
View full text

Electronic eBook

7

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
View full text

Electronic eBook

8

Computer Aided Architectural Design Futures 2005 Proceedings of the 11th International CAAD Futures Conference held at the Vienna University of Technology, Vienna, Austria, on June...

Published 2005

Table of Contents: “... -- Space, Time, Mind -- Constructing Complexity -- Virtual Heritage, Reconstruction and Histories...”
View full text

Electronic eBook

9

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...”
View full text

Electronic eBook

10

Brain, Vision, and Artificial Intelligence First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Cognitive Model for Autonomous Agents Based on Bayesian Programming -- A Structural Learning Algorithm...”
View full text

Electronic eBook

11

Knowledge Science, Engineering and Management 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010, Proceedings /

Published 2010

Table of Contents: “... of Belief Functions for Data Analysis and Machine Learning Applications: Review and Prospects -- Modeling...”
View full text

Electronic eBook

12

Advances in Cryptology – EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceed...

Published 2015

Table of Contents: “...Universal Signature Aggregators -- Fully Structure-Preserving Signatures and Shrinking Commitments...”
View full text

Electronic eBook

13

Research and Advanced Technology for Digital Libraries 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings /

Published 2010

Table of Contents: “... Philological Platform for the Construction of Multi-structured Documents -- The PROBADO Project - Approach...”
View full text

Electronic eBook

Narrow Search