Search Results - parallel function matching functionals function https

Search alternatives:
matching functionals » matching functional , matching functions , matching function
functionals function » function function , functions functional , function dysfunction
parallel function » parallel functional , parallel auction , parallel union
function matching » functional matching , function searching , function managing
function https » functions https , fiction https

Functional Imaging and Modeling of the Heart 4th International Conference, Salt Lake City, UT, USA, June 7-9, 2007 /

Published 2007

Table of Contents: “... -- Automated Tag Tracking Using Gabor Filter Bank, Robust Point Matching, and Deformable Models -- Strain...”
View full text

Electronic eBook

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Published 2010

Table of Contents: “... -- Parallel Algorithms -- Scalable Co-clustering Algorithms -- Parallel Pattern Matching with Swaps on a...”
View full text

Electronic eBook

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /

Published 2015

Table of Contents: “... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”
View full text

Electronic eBook

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
View full text

Electronic eBook

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

by Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Published 2005

Table of Contents: “... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
View full text

Electronic eBook

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Published 2008

Table of Contents: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
View full text

Electronic eBook

Bioinformatics Research and Applications 10th International Symposium, ISBRA 2014, Zhangjiajie, China, June 28-30, 2014, Proceedings /

Published 2014

Table of Contents: “...: An Analytical Approach -- An Eigen decomposition Method for Protein Structure Alignment -- Functional Interplay...”
View full text

Electronic eBook

String Processing and Information Retrieval 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Parameterized Searching with Mismatches for Run-Length Encoded Strings -- Fast Bit-Parallel Matching for Network...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /

Published 2006

Table of Contents: “... Implicit Induction -- Matching Modulo Superdevelopments Application to Second-Order Matching...”
View full text

Electronic eBook

Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings /

Published 2006

Table of Contents: “... -- On the Complexity of Parallel Hardness Amplification for One-Way Functions -- Secret Sharing and Multi-party...”
View full text

Electronic eBook

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Published 2015

Table of Contents: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
View full text

Electronic eBook

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...”
View full text

Electronic eBook

String Processing and Information Retrieval 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings /

Published 2005

Table of Contents: “...-Parallel Tree Matching Algorithm for Patterns with Horizontal VLDC’s -- A Partition-Based Efficient...”
View full text

Electronic eBook

Bioinformatics Research and Development Second International Conference, BIRD 2008, Vienna, Austria, July 7-9, 2008 Proceedings /

Published 2008

Table of Contents: “...-Based Accelerators for BLAST Algorithm with Multi-seeds Detection and Parallel Extension -- Fast...”
View full text

Electronic eBook

Information Retrieval Technology Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers /

Published 2005

Table of Contents: “... Length with Location Information to Align Monolingual Parallel Texts -- Web Search -- Effective Topic...”
View full text

Electronic eBook

Pattern Recognition in Bioinformatics 9th IAPR International Conference, PRIB 2014, Stockholm, Sweden, August 21-23, 2014. Proceedings /

Published 2014

Table of Contents: “... -- Biases of drug{target interaction network data -- Logol: Expressive Pattern Matching in sequences...”
View full text

Electronic eBook

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
View full text

Electronic eBook

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

Published 2015

Table of Contents: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
View full text

Electronic eBook

Discovery Science 18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015. Proceedings /

Published 2015

Table of Contents: “... in sentiment classification -- Active Learning for Classifying Template Matches in Historical Maps...”
View full text

Electronic eBook

Narrow Search