Resultados da busca - ((functions computation) or (functions computational)) programming query method tools*

Buscas alternativas:
functions computational » function computation , directions computational , section computational
functions computation » function computation , functions composition , function composition
programming query » programming querying , programming quasi , programming quick
query method » theory method , slurry method
method tools » methods tools , method two

Innovations in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Computer Vision and Graphics Second International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I /

Publicado em 2010

Sumário: “... Using Potential Active Contour Method -- Inductive Learning Methods in the Simple Image Understanding...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Publicado em 2014

Sumário: “... User Access on Web Log Data -- A Review on Methods for Query Personalisation -- A Wide Band Compact...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Publicado em 2010

Sumário: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2015

Sumário: “... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Publicado em 2005

Sumário: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Publicado em 2013

Sumário: “... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Towards the Internet of Services: The THESEUS Research Program

Publicado em 2014

Sumário: “... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings /

Publicado em 2010

Sumário: “... Technique -- A Method for Filtering Large Conceptual Schemas -- Integration and Composition -- Measuring...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

Publicado em 2007

Sumário: “... Problem on a Line – Improved Bounds for Pairwise Distance Queries -- Efficient Computational Design...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings /

Publicado em 2005

Sumário: “... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings /

Publicado em 2010

Sumário: “... for Generating Nash Stable Coalition Structures in Hedonic Games -- Conjunctive Queries with Constraints...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /

Publicado em 2006

Sumário: “... -- Toposes Are Adhesive -- Extensions for Distributed and Global Computing -- Graph Transactions as Processes...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Publicado em 2010

Sumário: “... in SOKU Systems -- Autonomous Systems -- A Computational Analysis of Cognitive Effort -- An Algorithm...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Publicado em 2008

Sumário: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Data Analysis and Decision Support

Publicado em 2005

Sumário: “... -- Three-Way Multidimensional Scaling: Formal Properties and Relationships Between Scaling Methods...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Publicado em 2014

Sumário: “... -- Answer-Set Programming A Complexity Assessment for Queries Involving Sufficient and Necessary Causes...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Publicado em 2006

Sumário: “... for Non-Stationary Optimisation Tasks -- Regular Sessions: Evolutionary Methods -- On Asymptotic Behaviour...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings /

Publicado em 2007

Sumário: “... Dependencies -- Querying Incomplete Data with Logic Programs: ER Strikes Back -- Prioritized Preferences...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca