Browse by Tags
All Tags »
Computer Science (RSS)
Τo παρακάτω λειτουργεί κυρίως σαν reference/σημειώσεις. Παραθέτω, συγκεντρωτικά και συνοπτικά, κάποιους αλγορίθμους αναζήτησης δέντρων ή γράφων, τους οποίους συνάντησα σε περασμένο εξάμηνο στο μάθημα της Τεχνητής Νοημοσύνης και του συγγράμματος Artificial...
Τo παρακάτω λειτουργεί κυρίως σαν reference/σημειώσεις. Το βασικό ζήτημα σε κάθε δίκτυο εκπομπής, που υπάρχει ανταγωνισμός για τη χρήση του, είναι η επιλογή του εκάστοτε χρήστη του/σταθμού. Το υποεπίπεδο ελέγχου προσπέλασης μέσων ή MAC (Medium Access...
Voice over Internet Protocol. Τηλεφωνία μέσω του Διαδικτύου. Ας δούμε απλά αυτό που συμβαίνει: τα αναλογικά ηχητικά κύματα που παράγει η φωνή μετατρέπονται σε ψηφιακά δεδομένα και αυτά στέλνονται μέσω του Internet στον παραλήπτη. Εκεί η διαδικασία αντιστρέφεται...
The KeY program is a tool for formal specification and verification of object-oriented software. During the summer course of Formal Methods in Software Engineering , I had the oportunity to practice with the tool on verifying first-order predicate logic...
The following post is about some graph algorithms that I found interesting (or tricky) the last Spring Semester. Depth First Search ( DFS ) One starts at the root (selecting some node as the root in the graph case) and explores as far as possible along...