Resultados da pesquisa - detection computing programming semantics arrays via*

Pesquisas alternativas:
programming semantics » programming mathematics , programming series , programming secrets
computing programming » computer programming , computers programming
detection computing » detection comparing , detection computer , detection combining
semantics arrays » semantics essays , semantics across , semantics arrow
arrays via » arrays a

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

Publicado em 2005

Sumário: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “... Detection -- Finding Semantic Structures in Image Hierarchies Using Laplacian Graph Energy -- Semantic...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2013

Sumário: “... Detection in Videos -- Efficient Clothing Retrieval with Semantic-Preserving Visual Phrases -- VISOR...”
Obter o texto integral

Recurso Electrónico livro electró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 Electrónico livro electrónico

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

Publicado em 2015

Sumário: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Obter o texto integral

Recurso Electrónico livro electrónico

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...

Publicado em 2014

Sumário: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Obter o texto integral

Recurso Electrónico livro electrónico

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Publicado em 2010

Sumário: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
Obter o texto integral

Recurso Electrónico livro electrónico

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Publicado em 2012

Sumário: “... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”
Obter o texto integral

Recurso Electrónico livro electrónico

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III /

Publicado em 2014

Sumário: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
Obter o texto integral

Recurso Electrónico livro electrónico

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Intrusion Detection via Analysis and Modelling of User Commands -- Dynamic Schema Navigation Using Formal...”
Obter o texto integral

Recurso Electrónico livro electrónico

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”
Obter o texto integral

Recurso Electrónico livro electrónico

Intelligent Technologies and Engineering Systems

Publicado em 2013

Sumário: “...-EMF Detection -- Establishment of the Photovoltaic Simulation System using Mixed Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa