Kasutaja Tammet kaastöö
15 371 muudatusega kasutaja.
17. aprill 2019
- 15:3917. aprill 2019, kell 15:39 erin ajal +114 Võrgurakendused II →Hajutatud andmekogude integreerimine
- 15:3417. aprill 2019, kell 15:34 erin ajal −252 Võrgurakendused II →Hajutatud andmekogude integreerimine
- 15:3417. aprill 2019, kell 15:34 erin ajal +361 Võrgurakendused II →Hajutatud andmekogude integreerimine
- 15:2117. aprill 2019, kell 15:21 erin ajal +9 Võrgurakendused II →Hajutatud andmekogude integreerimine
- 10:2517. aprill 2019, kell 10:25 erin ajal +340 U Reasoner another example for birds Uus lehekülg: '<pre> % (lbird & -lflies(certain)) => lflies(likely) -lbird(X,L) | notflies(X) | lflies(X,likely). -bird(X) | lbird(X,certain). -lbird(X,certain) | bird(X). -penguin(X) | b...' praegune
- 10:2517. aprill 2019, kell 10:25 erin ajal +419 U Reasoner example for birds Uus lehekülg: '<pre> % (lbird & -abnormal_bird) => lflies -lbird(X,L) | abnormal_bird(X) | lflies(X,likely). -bird(X) | lbird(X,certain). -lbird(X,certain) | bird(X). -penguin(X) | bird(X)....' praegune
- 10:2417. aprill 2019, kell 10:24 erin ajal +1652 U Reasoner example for being likely married Uus lehekülg: '<pre> % see syntax docs: % https://www.mcs.anl.gov/research/projects/AR/otter/otter33.pdf % % for advanced syntax see % http://tptp.cs.miami.edu/TPTP/TR/TPTPTR.shtml#ProblemPrese...' praegune
- 10:2417. aprill 2019, kell 10:24 erin ajal +296 Teadmiste formaliseerimine →Lecture 12: seminar-kind of work on the second lab
- 10:2017. aprill 2019, kell 10:20 erin ajal +388 Teadmiste formaliseerimine →Lecture 12: seminar-kind of work on the second lab
- 10:1717. aprill 2019, kell 10:17 erin ajal +1244 U Reasoner example with some rules for relatives Uus lehekülg: '<pre> % see syntax docs: % https://www.mcs.anl.gov/research/projects/AR/otter/otter33.pdf % % for advanced syntax see % http://tptp.cs.miami.edu/TPTP/TR/TPTPTR.shtml#ProblemPrese...' praegune
- 10:1617. aprill 2019, kell 10:16 erin ajal +55 Teadmiste formaliseerimine →Lecture 12: seminar-kind of work on the second lab
- 10:1517. aprill 2019, kell 10:15 erin ajal +83 U Reasoner example created by nlp.py Uus lehekülg: '<pre> cfather(cJohn,cAndrew). cman(cAndrew). -cfather(X1,cAndrew) | ans(X1). </pre>' praegune
- 10:1517. aprill 2019, kell 10:15 erin ajal +40 Teadmiste formaliseerimine →Lecture 12: seminar-kind of work on the second lab
10. aprill 2019
- 10:4610. aprill 2019, kell 10:46 erin ajal +119 Teadmiste formaliseerimine →Lecture 12: seminar-kind of work on the second lab
- 10:4110. aprill 2019, kell 10:41 erin ajal +73 Teadmiste formaliseerimine →Lecture block 5: context and uncertainty
- 10:4010. aprill 2019, kell 10:40 erin ajal +4 Teadmiste formaliseerimine →Lecture 11: various classical ideas for numeric reasoning with uncertainty
- 10:4010. aprill 2019, kell 10:40 erin ajal +518 Teadmiste formaliseerimine →Lecture block 5: context and uncertainty
- 10:2810. aprill 2019, kell 10:28 erin ajal +57 Teadmiste formaliseerimine →Lecture block 5: context and uncertainty
8. aprill 2019
- 21:258. aprill 2019, kell 21:25 erin ajal +2 ITO8020 tulemused 2019 Resümee puudub praegune
- 01:338. aprill 2019, kell 01:33 erin ajal +13 Tarkvaratehnoloogiad →Maht, aeg, tulemus
- 01:328. aprill 2019, kell 01:32 erin ajal +98 Tarkvaratehnoloogiad →Maht, aeg, tulemus
- 01:128. aprill 2019, kell 01:12 erin ajal +61 Tarkvaratehnoloogiad →Tulemused
- 01:118. aprill 2019, kell 01:11 erin ajal +550 U ITO8020 tulemused 2019 Uus lehekülg: '<pre> 162794 183299 89 80 4 183656 70 183661 70 183662 72 70 3 183664 80 183667 60 183668 90 183671 75 183673 56 80 2 183674 55 70 2 183677 64 90 3 183683 100 18...'
- 01:118. aprill 2019, kell 01:11 erin ajal +222 Tarkvaratehnoloogiad Resümee puudub
3. aprill 2019
- 15:153. aprill 2019, kell 15:15 erin ajal +1 Võrgurakendused II →Paralleelrehkendused
- 15:113. aprill 2019, kell 15:11 erin ajal +23 Võrgurakendused II →Esimene osa
- 15:113. aprill 2019, kell 15:11 erin ajal 0 Võrgurakendused II →Esimene osa
- 15:103. aprill 2019, kell 15:10 erin ajal −2 Võrgurakendused II →Paralleelrehkendused
- 15:083. aprill 2019, kell 15:08 erin ajal +8 Võrgurakendused II →Paralleelrehkendused
- 15:083. aprill 2019, kell 15:08 erin ajal +9 Võrgurakendused II →Esimene osa
- 15:083. aprill 2019, kell 15:08 erin ajal +8 Võrgurakendused II →Esimene osa
- 11:153. aprill 2019, kell 11:15 erin ajal +515 Notes about numerical confidence, popularity, etc measures Resümee puudub praegune
- 10:523. aprill 2019, kell 10:52 erin ajal +97 Teadmiste formaliseerimine →Lecture 11: various classical ideas for numeric reasoning with uncertainty
- 10:463. aprill 2019, kell 10:46 erin ajal +2 Teadmiste formaliseerimine →Lecture 11: various classical ideas for numeric reasoning with uncertainty
- 10:463. aprill 2019, kell 10:46 erin ajal 0 U Fail:Vienna tanel 4.pdf Resümee puudub praegune
- 10:423. aprill 2019, kell 10:42 erin ajal 0 Teadmiste formaliseerimine →Lecture 11: various classical ideas for numeric reasoning with uncertainty
- 10:423. aprill 2019, kell 10:42 erin ajal +8 Teadmiste formaliseerimine →Lecture 11: various classical ideas for reasoning with uncertainty
- 10:423. aprill 2019, kell 10:42 erin ajal +9 Teadmiste formaliseerimine →Lecture 10: various classical ideas for reasoning with uncertainty
- 10:413. aprill 2019, kell 10:41 erin ajal 0 U Fail:Vienna tanel 3.pdf Resümee puudub praegune
- 10:413. aprill 2019, kell 10:41 erin ajal −4 Teadmiste formaliseerimine →Lecture 11: various classical ideas for reasoning with uncertainty
- 10:343. aprill 2019, kell 10:34 erin ajal +126 Teadmiste formaliseerimine →Lecture 11: various classical ideas for reasoning with uncertainty
- 10:123. aprill 2019, kell 10:12 erin ajal +48 Teadmiste formaliseerimine →Lecture 10: various classical ideas for reasoning with uncertainty
- 10:113. aprill 2019, kell 10:11 erin ajal +27 Teadmiste formaliseerimine →Lecture block 5: context and uncertainty
- 10:103. aprill 2019, kell 10:10 erin ajal +194 Teadmiste formaliseerimine Resümee puudub
- 10:093. aprill 2019, kell 10:09 erin ajal −2 Teadmiste formaliseerimine →Lecture 10: various classical ideas for reasoning with uncertainty
- 10:093. aprill 2019, kell 10:09 erin ajal +126 Teadmiste formaliseerimine →Lecture 10: various classical ideas for reasoning with uncertainty
- 10:083. aprill 2019, kell 10:08 erin ajal −1 Teadmiste formaliseerimine →Lecture 10: various classical ideas for reasoning with uncertainty
- 10:073. aprill 2019, kell 10:07 erin ajal +2369 U Notes about numerical confidence, popularity, etc measures Uus lehekülg: '<pre> Numbrilised dimensioonid faktidele: - usaldusväärsus: kui veendunud ma olen mingis faktis Pikk(john) ise: panen numbri küsitlus 100 tudengi hulgas: kui suur protsen...'
- 10:073. aprill 2019, kell 10:07 erin ajal +62 Teadmiste formaliseerimine →Lecture 10: various classical ideas for reasoning with uncertainty