Søgeresultater - parallel program positional functionals function https

Søg alternativer:
positional functionals » additional functional , conditional functional , positive functionals
functionals function » function function , functions functional , function dysfunction
program positional » problem positional , programs position , program national
parallel program » parallel programs , parallel problem , parallel programming
function https » functions https , fiction https

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Udgivet 2014

Indholdsfortegnelse: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Få fuldtekst

Electronisk eBog

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Udgivet 2008

Indholdsfortegnelse: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Få fuldtekst

Electronisk eBog

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Udgivet 2006

Indholdsfortegnelse: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Få fuldtekst

Electronisk eBog

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Få fuldtekst

Electronisk eBog

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Udgivet 2014

Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst

Electronisk eBog

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Få fuldtekst

Electronisk eBog

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Udgivet 2012

Indholdsfortegnelse: “... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...”
Få fuldtekst

Electronisk eBog

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Networks -- 5-Regular Graphs are 3-Colorable with Positive Probability -- Optimal Integer Alphabetic Trees...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Få fuldtekst

Electronisk eBog

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”
Få fuldtekst

Electronisk eBog

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Få fuldtekst

Electronisk eBog

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Udgivet 2014

Indholdsfortegnelse: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Få fuldtekst

Electronisk eBog

Advanced Takagi‒Sugeno Fuzzy Systems Delay and Saturation /

af Benzaouia, Abdellah., Benzaouia, Abdellah., El Hajjaji, Ahmed.
Udgivet 2014

Indholdsfortegnelse: “... Takagi‒Sugeno Fuzzy Positive Systems -- Stabilization of Delayed T-S Fuzzy Positive Systems -- Robust...”
Få fuldtekst

Electronisk eBog

International Handbook of Occupational Therapy Interventions

Udgivet 2015

Indholdsfortegnelse: “... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”
Få fuldtekst

Electronisk eBog

Topological Methods in Data Analysis and Visualization III Theory, Algorithms, and Applications /

Udgivet 2014

Indholdsfortegnelse: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
Få fuldtekst

Electronisk eBog

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”
Få fuldtekst

Electronisk eBog

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”
Få fuldtekst

Electronisk eBog

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning