Listing 1 - 8 of 8 |
Sort by
|
Choose an application
The European Conference on Machine Learning (ECML) and the European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) were jointly organized this year for the ?fth time in a row, after some years of mutual independence before. After Freiburg (2001), Helsinki (2002), Cavtat (2003) and Pisa (2004), Porto received the 16th edition of ECML and the 9th PKDD in October 3–7. Having the two conferences together seems to be working well: 585 di?erent paper submissions were received for both events, which maintains the high s- mission standard of last year. Of these, 335 were submitted to ECML only, 220 to PKDD only and 30 to both. Such a high volume of scienti?c work required a tremendous e?ort from Area Chairs, Program Committee members and some additional reviewers. On average, PC members had 10 papers to evaluate, and Area Chairs had 25 papers to decide upon. We managed to have 3 highly qua- ?edindependentreviewsperpaper(withveryfewexceptions)andoneadditional overall input from one of the Area Chairs. After the authors’ responses and the online discussions for many of the papers, we arrived at the ?nal selection of 40 regular papers for ECML and 35 for PKDD. Besides these, 32 others were accepted as short papers for ECML and 35 for PKDD. This represents a joint acceptance rate of around 13% for regular papers and 25% overall. We thank all involved for all the e?ort with reviewing and selection of papers. Besidesthecoretechnicalprogram,ECMLandPKDDhad6invitedspeakers, 10 workshops, 8 tutorials and a Knowledge Discovery Challenge.
Machine learning --- 681.3*F22 <063> --- 681.3*F41 <063> --- 681.3*H28 <063> --- 681.3*I2 <063> --- 681.3*I26 <063> --- 681.3*I2 <063> Artificial intelligence. AI--Congressen --- Artificial intelligence. AI--Congressen --- 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3}--Congressen --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- Database applications--Congressen --- Conferences - Meetings --- Information Technology --- Artificial Intelligence --- Machine learning - Congresses
Choose an application
“How often we recall, with regret”, wrote Mark Twain about editors, “that Napoleon once shot at a magazine editor and missed him and killed a publisher. But we remember with charity, that his intentions were good. ” Fortunately, we live in more forgiving times, and are openly able to express our pleasure at being the editors of this volume containing the papers selected for presentation at the 14th International Conference on Inductive Logic Programming. ILP 2004 was held in Porto from the 6th to the 8th of September, under the auspices of the Department of Electrical Engineering and Computing of the Faculty of Engineering of the University of Porto (FEUP), and the Laborat´ orio de Inteligˆ encia Arti?cial e Ciˆ encias da Computa¸ c˜ ao (LIACC). This annual me- ing of ILP practitioners and curious outsiders is intended to act as the premier forum for presenting the most recent and exciting work in the ?eld. Six invited talks—three from ?elds outside ILP, but nevertheless highly relevant to it— and 20 full presentations formed the nucleus of the conference. It is the full-length papersofthese20presentationsthatcomprisethebulkofthisvolume. Asisnow common with the ILP conference, presentations made to a “Work-in-Progress” track will, hopefully, be available elsewhere. We gratefully acknowledge the continued support of Kluwer Academic P- lishers for the “Best Student Paper” award on behalf of the Machine Lea- ing journal; and Springer-Verlag for continuing to publish the proceedings of these conferences.
681.3*D16 --- Logic programming --- 681.3*I26 <063> --- 681.3*I25 <063> --- 681.3*I23 <063> --- 681.3*F1 --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- 681.3*F1 Computation by abstract devices --- Computation by abstract devices --- Computer programming --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence)--Congressen --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence)--Congressen --- 681.3*I25 <063> Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- 681.3*I26 <063> Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Computerwetenschap--?*D16 --- Computer science. --- Software engineering. --- Computer programming. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence (incl. Robotics). --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Artificial Intelligence.
Choose an application
This book constitutes the thoroughly refereed post-conference proceedings of the 12fth International Conference on High Performance Computing in Computational Science, VECPAR 2016, held in Porto, Portugal, in June 2016. The 20 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on applications; performance modeling and analysis; low level support; environments/libraries to support parallelization.
Computer science. --- Arithmetic and logic units, Computer. --- Computer system failures. --- Software engineering. --- Computers. --- Computer science --- Computer simulation. --- Computer Science. --- Mathematics of Computing. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Simulation and Modeling. --- System Performance and Evaluation. --- Arithmetic and Logic Structures. --- Mathematics. --- Informatics --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer software engineering --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- Arithmetic and logic units, Computer --- Mathematics --- Failures --- Science --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Engineering --- System failures (Engineering) --- Fault-tolerant computing --- Computer arithmetic --- Electronic digital computers --- Circuits --- Information theory. --- Computer system performance. --- Communication theory --- Communication --- High performance computing --- Computer science—Mathematics. --- Electronic digital computers—Evaluation. --- Computer arithmetic and logic units. --- Software Engineering. --- Computer Modelling.
Choose an application
Mathematical logic --- Complex analysis --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- complexe analyse (wiskunde) --- machine learning --- database management --- wiskunde --- logica --- robots
Choose an application
Mathematical logic --- Operational research. Game theory --- Graphics industry --- Programming --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- IR (information retrieval) --- stochastische analyse --- grafische technieken --- database management --- informatietechnologie --- wiskunde --- logica --- robots
Choose an application
The European Conference on Machine Learning (ECML) and the European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) were jointly organized this year for the ?fth time in a row, after some years of mutual independence before. After Freiburg (2001), Helsinki (2002), Cavtat (2003) and Pisa (2004), Porto received the 16th edition of ECML and the 9th PKDD in October 3-7. Having the two conferences together seems to be working well: 585 di?erent paper submissions were received for both events, which maintains the high s- mission standard of last year. Of these, 335 were submitted to ECML only, 220 to PKDD only and 30 to both. Such a high volume of scienti?c work required a tremendous e?ort from Area Chairs, Program Committee members and some additional reviewers. On average, PC members had 10 papers to evaluate, and Area Chairs had 25 papers to decide upon. We managed to have 3 highly qua- ?edindependentreviewsperpaper(withveryfewexceptions)andoneadditional overall input from one of the Area Chairs. After the authors' responses and the online discussions for many of the papers, we arrived at the ?nal selection of 40 regular papers for ECML and 35 for PKDD. Besides these, 32 others were accepted as short papers for ECML and 35 for PKDD. This represents a joint acceptance rate of around 13% for regular papers and 25% overall. We thank all involved for all the e?ort with reviewing and selection of papers. Besidesthecoretechnicalprogram,ECMLandPKDDhad6invitedspeakers, 10 workshops, 8 tutorials and a Knowledge Discovery Challenge.
Choose an application
The European Conference on Machine Learning (ECML) and the European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) were jointly organized this year for the ?fth time in a row, after some years of mutual independence before. After Freiburg (2001), Helsinki (2002), Cavtat (2003) and Pisa (2004), Porto received the 16th edition of ECML and the 9th PKDD in October 3-7. Having the two conferences together seems to be working well: 585 di?erent paper submissions were received for both events, which maintains the high s- mission standard of last year. Of these, 335 were submitted to ECML only, 220 to PKDD only and 30 to both. Such a high volume of scienti?c work required a tremendous e?ort from Area Chairs, Program Committee members and some additional reviewers. On average, PC members had 10 papers to evaluate, and Area Chairs had 25 papers to decide upon. We managed to have 3 highly qua- ?edindependentreviewsperpaper(withveryfewexceptions)andoneadditional overall input from one of the Area Chairs. After the authors' responses and the online discussions for many of the papers, we arrived at the ?nal selection of 40 regular papers for ECML and 35 for PKDD. Besides these, 32 others were accepted as short papers for ECML and 35 for PKDD. This represents a joint acceptance rate of around 13% for regular papers and 25% overall. We thank all involved for all the e?ort with reviewing and selection of papers. Besidesthecoretechnicalprogram,ECMLandPKDDhad6invitedspeakers, 10 workshops, 8 tutorials and a Knowledge Discovery Challenge.
Artificial intelligence. --- Data structures (Computer science). --- Database management. --- Information storage and retrieval. --- Mathematical statistics. --- Natural language processing (Computer science). --- Artificial Intelligence. --- Data Structures and Information Theory. --- Database Management. --- Information Storage and Retrieval. --- Probability and Statistics in Computer Science. --- Natural Language Processing (NLP).
Choose an application
Data mining --- Database searching --- Information Technology --- Artificial Intelligence --- 681.3*F41 <063> --- 681.3*F42 <063> --- 681.3*G3 <063> --- 681.3*H2 <063> --- 681.3*H3 <063> --- 681.3*I26 <063> --- 681.3*I7 <063> --- 681.3*J2 <063> --- 681.3*J2 <063> Physical sciences and engineering (Computer applications)--Congressen --- Physical sciences and engineering (Computer applications)--Congressen --- 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31}--Congressen --- Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing)--Congressen --- Database management: security; integrity; protection--See also {?681.5*E5}--Congressen --- Information storage and retrieval--Congressen --- Text processing (Computing methodologies)--See also {681.3*H4}--Congressen
Listing 1 - 8 of 8 |
Sort by
|