Sebanyak 2511 item atau buku ditemukan

Inductive Logic Programming

10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings

Shan-HweiNienhuys-Cheng(UniversityofRotterdam,Netherlands) WilliamCohen(WhizbangsLabs,USA) LucDeRaedt(UniversityofFreiburg,Germany) Sa?soD?zeroski(Jo?zefStefanInstitute,Ljubljana) PeterFlach(UniversityofBristol,UK) AlanFrisch(UniversityofYork,UK) KoichiFurukawa(UniversityofKeio,Japan) RoniKhardon(UniversityofEdinburgh,UK) J¨org-UweKietz(SwissLife,Switzerland) NadaLavra?c(Jo?zefStefanInstitute,Slovenia) JohnLloyd(AustralianNationalUniversity,Australia) StanMatwin(UniversityofOttawa,Canada) RaymondMooney(UniversityofTexas,USA) StephenMuggleton(UniversityofYork,UK) DavidPage(UniversityofWisconsin,USA) BernhardPfahringer(UniversityofWaikato,NewZealand) C´elineRouveirol(Universit´edeParis-Sud,France) ClaudeSammut(UniversityofNewSouthWales,Australia) ´ Mich`eleSebag(EcolePolytechnique,France) AshwinSrinivasan(UniversityofOxford,UK) PrasadTadepalli(OregonStateUniversity,USA) StefanWrobel(UniversityofMagdeburg,Germany) AkihiroYamamoto(UniversityofHokkaido,Japan) Additional Referees ´ ErickAlphonse(Universit´edeParis-Sud,France) LiviuBadea(NationalInstituteforResearchandDevelopmentinInformatics, Romania) DamjanDemsar(Jo?zefStefanInstitute,Slovenia) ElisabethGoncalves(Universit´edeParis-Sud,France) MarkoGrobelnik(Jo?zefStefanInstitute,Slovenia) ClaireKennedy(UniversityofBristol,UK) DanielKudenko(UniversityofYork,UK) JohanneMorin(UniversityofOttawa,Canada) TomonobuOzaki(KeioUniversity,Japan) EdwardRoss(UniversityofBristol,UK) LjupcoTodorovski(Jo?zefStefanInstitute,Slovenia) V´eroniqueVentos(Universit´edeParis-Sud,France) VIII ProgramCommitteeandReferees Sponsors of ILP2000 ILPNet2,TheEuropeanNetworkofExcellenceinInductiveLogicProgramming MLNet,TheEuropeanNetworkofExcellenceinMachineLearning CompulogNet,TheEuropeanNetworkofExcellenceinComputationalLogic Table of Contents IInvitedPaper ILP:JustDoIt. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 DavidPage II Contributed Papers ANewAlgorithmforLearningRangeRestrictedHornExpressions. . . . . . . 21 MartaArias,RoniKhardon ARe?nementOperatorforDescriptionLogics. . . . . . . . . . . . . . . . . . . . . . . . . 40 LiviuBadea,Shan-HweiNienhuys-Cheng ExecutingQueryPacksinILP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 HendrikBlockeel,LucDehaspe,BartDemoen,GerdaJanssens, JanRamon,HenkVandecasteele ALogicalDatabaseMiningQueryLanguage . . . . . . . . . . . . . . . . . . . . . . . . . . 78 LucDeRaedt Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 FlorianaEsposito,DonatoMalerba,FrancescaA. Lisi ExtendingK-MeansClusteringtoFirst-OrderRepresentations. . . . . . . . . . . 112 MathiasKirsten,StefanWrobel TheoryCompletionUsingInverseEntailment . . . . . . . . . . . . . . . . . . . . . . . . . . 130 StephenH. Muggleton,ChristopherH. Bryant SolvingSelectionProblemsUsingPreferenceRelationBasedonBayesian Learning. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147 TomofumiNakano,NobuhiroInuzuka ConcurrentExecutionofOptimalHypothesisSearchforInverse Entailment. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165 HayatoOhwada,HiroyukiNishiyama,FumioMizoguchi UsingILPtoImprovePlanninginHierarchicalReinforcementLearning. . . 174 MarkReid,MalcolmRyan X TableofContents TowardsLearninginCARIN-ALN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191 C´elineRouveirol,V´eroniqueVentos InverseEntailmentinNonmonotonicLogicPrograms. . . . . . . . . . . . . . . . . . . 209 ChiakiSakama ANoteonTwoSimpleTransformationsforImprovingtheE?ciencyofan ILPSystem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225 V´?torSantosCosta,AshwinSrinivasan,RuiCamacho SearchingtheSubsumptionLattic

10th International Conference, ILP 2000, London, UK, July 24-27, 2000
Proceedings James Cussens, Alan Frisch. A New Algorithm for Learning Range
Restricted Horn Expressions⋆ (Extended Abstract) Marta Arias and Roni
Khardon Division of Informatics, University of Edinburgh The King's Buildings,
Edinburgh EH9 3JZ, Scotland {marta ...

Field-Programmable Logic and Applications

5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings

This volume constitutes the proceedings of the Fifth International Workshop on Field-Programmable Logic and Its Applications, FPL '95, held in Oxford, UK in August/September 1995. The volume presents 46 full revised papers carefully selected by the program committee from a large number and wide range of submissions. The papers document the progress achieved since the predecessor conference (see LNCS 849). They are organized in sections on architectures, platforms, tools, arithmetic and signal processing, embedded systems and other applications, and reconfigurable design and models.

The REDOC III algorithm for data ciphering is a potential replacement for DES.
This paper looks at ways of customising the algorithm to increase security without
reducing ciphering speed. Many valuable modifications are possible if
reconfigurable hardware is used.

Logic and Theory of Algorithms

4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008. The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation.

We study the satisfiability problem for LTLACK and related decidability problem.
The key result is an algorithm which recognizes theorems of LTLACK (so we
show that LTLACK is decidable), which, as a consequence, also solves the
satisfiability problem. Technique is based on verification of validity for special
normal reduced forms of rules in models of double exponential in the size of rules
. Keywords: linear temporal logic, multi-agent logics,hybrid logics, re- lational
Kripke-Hintikka ...

The Nature of Computation: Logic, Algorithms, Applications

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013
, Proceedings Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. Analytic Root
Clustering: A Complete Algorithm Using Soft Zero Tests⋆ Chee Yap1,⋆⋆,
Michael Sagraloff2, and Vikram Sharma3 1 Courant Institute of Mathematical
Sciences, New York University, New York, NY 10012, U.S.A. ...

Profil kesejahteraan pelaku ekonomi di subsektor perikanan laut yang berkelanjutan

studi kasus kawasan pesisir di Jimbaran dan Ujung-tanah : industri berwawasan lingkungan

Economic conditions of fishers; the fish trade and fisheries in Jimbaran, Bali and Ujung-tanah, Ujung Pandang, Sulawesi Selatan.

Kesejahteraan sosial merupakan penjumlahan dari kesejahteraan individu. b.
Kesejahteraan individu dapat diukur, seperti ditunjukkan melalui sejumlah harga
yang dibayar untuk barang dan jasa. c. Setiap individu bisa memaksimalkan
kesejahteraannya melalui pilihan kombinasi barang dan jasa. d. Usaha
memaksimalkan keputusan dibatasi oleh anggaran/pendapatan (budget
constraints). Nilai guna (utilitas), dan kesejahteraan, dapat diperoleh melalui
barang dan jasa (baik ...

Pembangunan Ekonomi Wilayah

Pendekatan Analisis Tabel Input-Output

Buku ini disusun dengan maksud memberikan alternatif lain dalam menganalisis pembangunan wilayah dibandingkan dengan analisis yang sudah berkembang sebelumnya. Pendekatan analisis pembangunan wilayah dengan menggunakan tabel Interregional Input-Output (IRIO) pada dasarnya merupakan penerapan teori keseimbangan umum - melalui adanya keterkaitan antarwilayah dan keterkaitan antar sektor. Penjelasan yang ada dalam buku ini diharapkan mampu membuka wawasan bagi para pengambil kebijakan pembangunan di daerah, para perencana pembangunan daerah, para mahasiswa tingkat akhir sarjana dan juga pascasarjana yang memfokuskan pada perkembangan pembangunan daerah, terhadap perlunya mempertimbangkan pembagunan daerah lain pada saat merencanakan pembagunan di suatu daerah tertentu.

Buku ini disusun dengan maksud memberikan alternatif lain dalam menganalisis pembangunan wilayah dibandingkan dengan analisis yang sudah berkembang sebelumnya.

The 2015 UKM FST Postgraduate Colloquium

Proceedings of the Universiti Kebangsaan Malaysia, Faculty of Science and Technology 2015 Postgraduate Colloquium : Conference Date, 15-16 April 2015 : Location, Selangor, Malaysia

The 2013 UKM FST Postgraduate Colloquium

Proceedings of the Universiti Kebangsaan Malaysia, Faculty of Science and Technology 2013 Postgraduate Colloquium, Selangor, Malaysia, 3-4 July 2014. ...

The 2013 UKM FST Postgraduate Colloquium

Proceedings of the Universiti Kebangsaan Malaysia, Faculty of Science and Technology, 2013 Postgraduate Colloquium : [Selangor, Malaysia, 3-4 July 2013]