Resultats de la cerca - ((detection computation) OR (introduction computation)) programming semantics arrays via

Alternatives de cerca:
introduction computation » introduction computational , introduction communication , introduction notation
detection computation » detection computational , deduction computation , detection mutation
programming semantics » programming mathematics , programming series , programming secrets
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 /

Publicat 2005

Taula de continguts: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Obtenir text complet

Electrònic eBook

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

Publicat 2010

Taula de continguts: “... Detection -- Finding Semantic Structures in Image Hierarchies Using Laplacian Graph Energy -- Semantic...”
Obtenir text complet

Electrònic eBook

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

Publicat 2013

Taula de continguts: “... Detection in Videos -- Efficient Clothing Retrieval with Semantic-Preserving Visual Phrases -- VISOR...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Obtenir text complet

Electrònic eBook

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

Publicat 2015

Taula de continguts: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Obtenir text complet

Electrònic 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...

Publicat 2014

Taula de continguts: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Obtenir text complet

Electrònic eBook

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

Publicat 2010

Taula de continguts: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
Obtenir text complet

Electrònic eBook

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

Publicat 2012

Taula de continguts: “... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”
Obtenir text complet

Electrònic eBook

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

Publicat 2014

Taula de continguts: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “... -- Intrusion Detection via Analysis and Modelling of User Commands -- Dynamic Schema Navigation Using Formal...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”
Obtenir text complet

Electrònic eBook

Intelligent Technologies and Engineering Systems

Publicat 2013

Taula de continguts: “...-EMF Detection -- Establishment of the Photovoltaic Simulation System using Mixed Programming...”
Obtenir text complet

Electrònic eBook

Refinar cerca