Αποτελέσματα αναζήτησης - intervals comparing programs program constructs https

1

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... for Multi-agent Systems -- Revisiting the Semantics of Interval Probabilistic Logic Programs -- Routley...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 /

Έκδοση 2008

Πίνακας περιεχομένων: “... Properties from Knowledge Based Programs -- Detecting Code Evolution in Programming Learning -- Revising...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

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

Έκδοση 2005

Πίνακας περιεχομένων: “... -- Exploring an Unknown Graph Efficiently -- Online Routing in Faulty Meshes with Sub-linear Comparative Time...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

Advanced Techniques in Computing Sciences and Software Engineering

Έκδοση 2010

Πίνακας περιεχομένων: “... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “... -- A Unified Construction of the Glushkov, Follow, and Antimirov Automata -- Algebraic...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

Algorithmic Aspects in Information and Management 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... for Temperature-Aware Task Scheduling in Microprocessor Systems -- Engineering Comparators for Graph Clusterings...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

Perceived Exertion Laboratory Manual From Standard Practice to Contemporary Application /

ανά Haile, Luke., Haile, Luke., Gallagher, Jr., Michael., J. Robertson, Robert.
Έκδοση 2015

Πίνακας περιεχομένων: “... -- Scale Anchoring: Memory/Cognitive Compared with Exercise Anchoring -- Category Scale Validation...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

AI 2012: Advances in Artificial Intelligence 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings /

Έκδοση 2012

Πίνακας περιεχομένων: “... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

Knowledge Science, Engineering and Management 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... -- Composing Cardinal Direction Relations Basing on Interval Algebra -- Retrieval Result Presentation...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Artificial Intelligence: Methodology, Systems, and Applications 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... Programming -- Coalition Structure Generation with GRASP -- Machine Learning, Data Mining, and Information...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Έκδοση 2014

Πίνακας περιεχομένων: “... for Rotational Components Having Form Features -- Comparative Analysis of Energy Efficient Protocols...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

Innovations in Hybrid Intelligent Systems

Έκδοση 2007

Πίνακας περιεχομένων: “... Binary Classifier -- A Feature Selection Method Using a Fuzzy Mutual Information Measure -- Interval Type...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

Internet and Network Economics First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... -- Time Interval-Based Prepaid Charging of QoS-Enabled IP Services -- Mining Stock Market Tendency Using...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

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

Έκδοση 2012

Πίνακας περιεχομένων: “... for Automatic Construction of Ontology -- Statistical Analysis of Arabic Phonemes Used in Arabic Speech...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings /

Έκδοση 2007

Πίνακας περιεχομένων: “... -- On the Dynamics of Total Preorders: Revising Abstract Interval Orders -- Approaches to Constructing a Stratified...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης