Sebanyak 96 item atau buku ditemukan

Beberapa masalah pembangunan ekonomi daerah Bali

hasil pekan tjeramah jang diselenggarakan oleh: Fakultas Ekonomi Universitas Udayana dari tgl. 15, 16, 17 Djuli 1970

Taktik dan strategi pengajaran sastra Jawa di sekolah

kertas kerja disampaikan pada sarasehan pengajaran bahasa dan sastra Jawa : di Yogyakarta, tg. 14 dan 15 Des. 1982

Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments

15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings

The five-volume set LNCS 8004--8008 constitutes the refereed proceedings of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, NV, USA in July 2013. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This volume contains papers in the thematic area of human-computer interaction, addressing the following major topics: HCI and human centred design; evaluation methods and techniques; user interface design and development methods and environments; aesthetics and kansei in HCI.

Formal Approaches to Software Testing and Runtime Verification

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Coverage discusses formal approaches to test and analyze programs and monitor and guide their executions by using various techniques.

It starts by finding the Vector class, and some implementation I of Enumeration; I
contains a method N named nextElement. We check whether there exists a field
F that may be read by N, while it may be written by M. It remains to show how ...

Fundamental Approaches to Software Engineering

15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 33 full papers presented together with one full length invited talk were carefully reviewed and slected from 134 submissions. The papers are organized in topical sections on software architecture and components, services, verification and monitoring, intermodelling and model transformations, modelling and adaptation, product lines and feature-oriented programming, development process, verification and synthesis, testing and maintenance, and slicing and refactoring.

Given a set of selected features and a total order on those features, a tool can
decide for every method whether it is a method introduction or a method
refinement [3]. Then, we can automatically check that no method refinement
comes with a ...

Evaluation of Novel Approaches to Software Engineering

10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2015, held in Barcelona, Spain, in April 2015. The 10 full papers presented were carefully reviewed and selected from 74 submissions. The papers reflect a growing effort to increase the dissemination of new results among researchers and professionals related to evaluation of novel approaches to software engineering. By comparing novel approaches with established traditional practices and by evaluating them against software quality criteria, the ENASE conferences advance knowledge and research in software engineering, identify most hopeful trends, and propose new directions for consideration by researchers and practitioners involved in large-scale software development and integration.

parameter: A method of A has at least one parameter of type B – return type: A
method of A has the return type B – local variable: A local variable of type B is
declared in code belonging to A – instantiation: An instance of B is code
belonging to ...

Machine Learning and Knowledge Discovery in Databases

European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings

This book constitutes the refereed proceedings of the joint conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2008, held in Antwerp, Belgium, in September 2008. The 100 papers presented in two volumes, together with 5 invited talks, were carefully reviewed and selected from 521 submissions. In addition to the regular papers the volume contains 14 abstracts of papers appearing in full version in the Machine Learning Journal and the Knowledge Discovery and Databases Journal of Springer. The conference intends to provide an international forum for the discussion of the latest high quality research results in all areas related to machine learning and knowledge discovery in databases. The topics addressed are application of machine learning and data mining methods to real-world problems, particularly exploratory research that describes novel learning and mining tasks and applications requiring non-standard techniques.

Sutton, R.S., Barto, A.G.: Introduction to Reinforcement Learning. MIT Press,
Cambridge (1998) 2. Tesauro, G.: TD-Gammon, a self-teaching backgammon
program, achieves masterlevel play. Neural Computation 6(2), 215–219 (1994) 3
.

Machine Learning and Knowledge Discovery in Databases

European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings

This three-volume set LNAI 8724, 8725 and 8726 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2014, held in Nancy, France, in September 2014. The 115 revised research papers presented together with 13 demo track papers, 10 nectar track papers, 8 PhD track papers, and 9 invited talks were carefully reviewed and selected from 550 submissions. The papers cover the latest high-quality interdisciplinary research results in all areas related to machine learning and knowledge discovery in databases.

21. 22. 23. 24. 2. Abe, N., Mamitsuka, H.: Query learning strategies using
boosting and bagging. In: Proc. of ICML 1998, pp. 1–10 (1998) 3. Donmez, P.,
Carbonell, J.G.: Optimizing estimated loss reduction for active sampling in rank
learning.

Machine Learning and Knowledge Discovery in Databases

European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings

The three volume set LNAI 9284, 9285, and 9286 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2015, held in Porto, Portugal, in September 2015. The 131 papers presented in these proceedings were carefully reviewed and selected from a total of 483 submissions. These include 89 research papers, 11 industrial papers, 14 nectar papers, 17 demo papers. They were organized in topical sections named: classification, regression and supervised learning; clustering and unsupervised learning; data preprocessing; data streams and online learning; deep learning; distance and metric learning; large scale learning and big data; matrix and tensor analysis; pattern and sequence mining; preference learning and label ranking; probabilistic, statistical, and graphical approaches; rich data; and social and graphs. Part III is structured in industrial track, nectar track, and demo track.

Gu, Q., Li, Z., Han, J.: Joint feature selection and subspace learning. In: IJCAI
Proceedings-International Joint Conference on Artificial Intelligence, vol. 22, p.
1294 (2011) Han, L., Zhang, Y.: Learning multi-level task groups in multi-task
learning ...