Arama Sonuçları - parallel programs words functionality function https

1

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Tam Metin Erişim

Elektronik Ekitap

4

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...”
Tam Metin Erişim

Elektronik Ekitap

5

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Tam Metin Erişim

Elektronik Ekitap

6

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... 2005) -- An Approach to Acquire Word Translations from Non-parallel Texts -- Experiments on Statistical...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Tam Metin Erişim

Elektronik Ekitap

9

Advanced Techniques in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Approximate Dictionary Look-Up for Long Words over Small Alphabets -- Relations Among Notions of Security...”
Tam Metin Erişim

Elektronik Ekitap

11

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Tam Metin Erişim

Elektronik Ekitap

12

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Classification Using the Harmful Word Filtering and SVM -- HVEM Control System Based on Grid: A Cornerstone of e...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Tam Metin Erişim

Elektronik Ekitap

14

Frontiers of Computational Science Proceedings of the International Symposium on Frontiers of Computational Science 2005 /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Information Organization -- Automatic Word Clustering for Text Categorization Using Global...”
Tam Metin Erişim

Elektronik Ekitap

17

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Tam Metin Erişim

Elektronik Ekitap

18

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...”
Tam Metin Erişim

Elektronik Ekitap

19

Discovery Science 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...”
Tam Metin Erişim

Elektronik Ekitap

20

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6-10, 2006, Hanoi, Viet...

Baskı/Yayın Bilgisi 2008

İçindekiler: “..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt