Search Results - interactive normalization programming programming implementation https

Search alternatives:
programming implementation » programme implementation , program implementation , programs implementation
interactive normalization » interactive visualization , alternative normalization , integrating normalization
normalization programming » organization programming , organisation programming , communication programming
programming programming » programming programmed , programming program
implementation https » instrumentation https , implementation _

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “... equilibrium logic and dynamic logic -- ActHEX: Implementing HEX Programs with Action -- Debugging Answer-Set...”
View full text

Electronic eBook

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings /

Published 2008

Table of Contents: “... — An Interactive Prover for the Boogie Program-Verifier -- Secure Microkernels, State Monads and Scalable...”
View full text

Electronic eBook

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Published 2010

Table of Contents: “... Normalization Schemas for Bayesian Confirmation Measures -- Gender and Age Estimation from Synthetic Face Images...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Published 2008

Table of Contents: “... -- Implementation and Evaluation of the Mechanisms for Low Latency Communication on DIMMnet-2 -- Computationally...”
View full text

Electronic eBook

Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings /

Published 2010

Table of Contents: “... and Implementation of Interactive Spaces for Information Interaction -- ViSE – A Virtual Smart Environment...”
View full text

Electronic eBook

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... in Teaching the Bivariate Normal Distributions -- Creating Interactive Graphics for Mathematics Education...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... -- Graphics Hardware-Based Level-Set Method for Interactive Segmentation and Visualization -- Parameterization...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... -- On the Optimal Object-Oriented Program Re-modularization -- A Buffered-Mode MPI Implementation for the Cell BETM...”
View full text

Electronic eBook

Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, Proceedings /

Published 2007

Table of Contents: “... Effectiveness -- An Interactive System to Measure the Human Behaviour: An Analysis Model for the Human-Product...”
View full text

Electronic eBook

Advances in Applied Artificial Intelligence 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, Fr...

Published 2006

Subjects: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I /

Published 2013

Table of Contents: “... -- On Leveraging Crowdsourcing Techniques for Schema Matching Networks -- A Mechanism for Stream Program...”
View full text

Electronic eBook

Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part II /

Published 2013

Table of Contents: “... -- On Leveraging Crowdsourcing Techniques for Schema Matching Networks -- A Mechanism for Stream Program...”
View full text

Electronic eBook

Advances in Multimedia Information Processing -- PCM 2010, Part I 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Practical Implementation of Super-Resolution Approach for SD-to-HD Video Up-Conversion -- Image Histogram...”
View full text

Electronic eBook

Digital Libraries: Achievements, Challenges and Opportunities 9th International Conference on Asian Digial Libraries, ICADL 2006, Kyoto, Japan, November 27-30, 2006, Proceedings /

Published 2006

Table of Contents: “... for the Conversion of MARC Records to a Normalized FRBR Implementation -- Digital Libraries and Archives Architecture...”
View full text

Electronic eBook

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Published 2013

Table of Contents: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
View full text

Electronic eBook

Analysis and Modelling of Faces and Gestures Second International Workshop, AMFG 2005, Beijing, China, October 16, 2005, Proceedings /

Published 2005

Table of Contents: “... on Timing Structures in Faces -- A Practical Face Relighting Method for Directional Lighting Normalization...”
View full text

Electronic eBook

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Published 2008

Table of Contents: “... -- Medical Image Segmentation Using Anisotropic Filter, User Interaction and Fuzzy C-Mean (FCM) -- Medical...”
View full text

Electronic eBook

Narrow Search