Søgeresultater - intersections ((computing processing) OR (computing proceeding)) libraries library https

1

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Udgivet 2007

Indholdsfortegnelse: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
Få fuldtekst

Electronisk eBog

2

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

Udgivet 2013

Indholdsfortegnelse: “... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...”
Få fuldtekst

Electronisk eBog

3

Advances in Soft Computing and Its Applications 12th Mexican International Conference, MICAI 2013...

Udgivet 2013

Indholdsfortegnelse: “...: A Java Type-2 Fuzzy Inference Systems Class Library for Building Object-Oriented Intelligent...”
Få fuldtekst

Electronisk eBog

4

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... of Empirical Polynomials II -- Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library...”
Få fuldtekst

Electronisk eBog

5

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... for Geometric Processing of Surfaces -- A Mathematica Notebook for Computing the Homology of Iterated Products...”
Få fuldtekst

Electronisk eBog

6

E-business Technology and Strategy International Conference, CETS 2010, Ottawa, Canada, September 29-30, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Approach Based on Consensus -- A Macroscopic Timing Optimization Model for Signalized Intersections Based...”
Få fuldtekst

Electronisk eBog

7

ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “...O-PSI: Delegated Private Set Intersection on Outsourced Datasets -- Flexible and Robust Privacy...”
Få fuldtekst

Electronisk eBog

8

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... -- Certified Computer Algebra on Top of an Interactive Theorem Prover -- Quantifier Elimination for Approximate...”
Få fuldtekst

Electronisk eBog

9

Biomedical Informatics Computer Applications in Health Care and Biomedicine /

Udgivet 2014

Indholdsfortegnelse: “... and Biomedical Informatics -- Computer Architectures for Health Care and Biomedicine -- Software Engineering...”
Få fuldtekst

Electronisk eBog

10

3D Research Challenges in Cultural Heritage A Roadmap in Digital Heritage Preservation /

Udgivet 2014

Indholdsfortegnelse: “...Intersection of digital heritage -- Engineering -- Computer science -- Mathematics -- Material...”
Få fuldtekst

Electronisk eBog

11

Advances in Databases and Information Systems 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... for Database Views Via Cooperation -- An Agile Process for the Creation of Conceptual Models from Content...”
Få fuldtekst

Electronisk eBog

12

Innovations in Design & Decision Support Systems in Architecture and Urban Planning

Udgivet 2006

Indholdsfortegnelse: “...Land Use Simulation and Visualisation -- Can Decision Making Processes Benefit from a User Friendly...”
Få fuldtekst

Electronisk eBog

13

Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “...Session I: Foundations -- A Proof-Theoretic Approach to Hierarchical Math Library Organization...”
Få fuldtekst

Electronisk eBog

14

Mobile 3D Graphics

af Malizia, Alessio., Malizia, Alessio.
Udgivet 2006

Indholdsfortegnelse: “... -- Meshes and Sprites -- Animations -- Ray intersections -- Building an M3G demo -- Summary -- Direct 3D...”
Få fuldtekst

Electronisk eBog