Bilaketaren emaitzak - detection computational programming semantics arrays a

Iradokizunak:
computational programming » computation programming , computational program , computing programming
detection computational » section computational , prediction computational , interactions computational
programming semantics » programming mathematics , programming series , programming secrets
semantics arrays » semantics essays , semantics across , semantics arrow
arrays a » arrays _

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Argitaratua 2005

Aurkibidea: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Testu osoa

Baliabide elektronikoa eBook

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Argitaratua 2005

Aurkibidea: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Testu osoa

Baliabide elektronikoa eBook

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
Testu osoa

Baliabide elektronikoa eBook

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

Argitaratua 2010

Aurkibidea: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
Testu osoa

Baliabide elektronikoa eBook

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Argitaratua 2010

Aurkibidea: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Testu osoa

Baliabide elektronikoa eBook

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Argitaratua 2015

Aurkibidea: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Testu osoa

Baliabide elektronikoa eBook

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Argitaratua 2005

Aurkibidea: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Testu osoa

Baliabide elektronikoa eBook

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

Argitaratua 2014

Aurkibidea: “... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”
Testu osoa

Baliabide elektronikoa eBook

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”
Testu osoa

Baliabide elektronikoa eBook

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
Testu osoa

Baliabide elektronikoa eBook

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV /

Argitaratua 2010

Aurkibidea: “... for Object Detection -- Accurate Image Localization Based on Google Maps Street View -- A Minimal Case...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2013

Aurkibidea: “... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2005

Aurkibidea: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Testu osoa

Baliabide elektronikoa eBook

Emerging Technologies for Information Systems, Computing, and Management

Argitaratua 2013

Aurkibidea: “...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...”
Testu osoa

Baliabide elektronikoa eBook

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Argitaratua 2010

Aurkibidea: “... Conceptual Schema Validation -- A Model-Driven Heuristic Approach for Detecting Multidimensional Facts...”
Testu osoa

Baliabide elektronikoa eBook

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Argitaratua 2006

Aurkibidea: “... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”
Testu osoa

Baliabide elektronikoa eBook

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Argitaratua 2015

Aurkibidea: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Testu osoa

Baliabide elektronikoa eBook

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Argitaratua 2014

Aurkibidea: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
Testu osoa

Baliabide elektronikoa eBook

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Argitaratua 2012

Aurkibidea: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
Testu osoa

Baliabide elektronikoa eBook

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Argitaratua 2014

Aurkibidea: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu