the spectral identification technology is a spectral basis of qualitative analysis. Withthe development of pattern recognition, spectral identification technology has become an important tool for rapid detection of m...
详细信息
While Computational Logic plays an important role in several areas of computer Science (CS), most educational software developed for teaching logic is not suitable to be used directly in other portions of the CS educa...
详细信息
ISBN:
(纸本)9789898565068
While Computational Logic plays an important role in several areas of computer Science (CS), most educational software developed for teaching logic is not suitable to be used directly in other portions of the CS education domain where the application of logical notions is usually required. In this paper we describe the logic teaching tool TVT based on semantic tableaux that has been developed to help the students to use logic as a formal proof technique in other advanced topics of CS, such as the verification of algorithms, the algorithmic debugging of imperative programs, the formal design of invariants, and the design and derivation of algorithms from logical specifications, which are at the basis of the formal learning of programming techniques and good development of software. We present the design, implementation, and results of the evaluation of this tool by means of several educational experiences during the academic courses 2009/2010 and 2010/2011. From the results of these experiences we conclude that the use of the TVT tool in the current CS teaching can help our students to understand more advanced CS concepts and to clarify the formal process involved in the design and analysis of correct and efficient imperative programs.
In this paper, we indicate that scene boundaries sometimes are indistinct so that computer cannot output explicit results. To solve such problem, we propose that video scenes should be divided into two kinds: cut segm...
详细信息
the proceedings contain 28 papers. the topics discussed include: social media: a systematic review to understand the evidence and application in infodemiology;an examination of the behavior of young and older users of...
ISBN:
(纸本)9783642292613
the proceedings contain 28 papers. the topics discussed include: social media: a systematic review to understand the evidence and application in infodemiology;an examination of the behavior of young and older users of Facebook;an agile methodology for IHE-enabled deployments;obstetric medical record processing and information retrieval;a model for a motivational system grounded on value based abstract argumentation frameworks;an assessment of the potential for personalization in patient decision aids;web-based stress management system goes mobile: considerations of the design of a mobile phone app;use of SMS for tsunami early warnings at a table top exercise;patient-centered care as a learning process;wireless computer games and applications in the medical education curriculum: adventures in pedagogy;and modeling a user authorization and data access framework for multi-specialty research systems in secondary health care.
learning objects are a fundamental concept in new educational paradigms based on e-learning. these resources are not only content but also include metadata descriptions organized into categories, often in the form of ...
详细信息
ISBN:
(纸本)9789898565303
learning objects are a fundamental concept in new educational paradigms based on e-learning. these resources are not only content but also include metadata descriptions organized into categories, often in the form of an application profile of the IEEE LOM standard. these metadata descriptions facilitate the design, search, exchange and reuse of educational contents reachable through learning object repositories. the aim of this paper is to present the case of the *** portal, where the semantic search capabilities implemented made necessary to design an OWL mapping for the IEEE LOM standard. We called this effort LOM2OWL. LOM2OWL is in fact an ontology aimed at improving the search, reuse and use of learning objects stored in the *** Web portal and repository.
Withthe rapid advancement of information technology and the Internet, along withthe saturation, development, and transcendence of time and space of information technology, the unavoidable trend of educational reform...
详细信息
Lately, the approaches based on the concept of Competency are widely used in the field of Education as well as in the field of Human Resources Development. Competency Modeling is considered to be essential for any kin...
详细信息
ISBN:
(纸本)9789898565068
Lately, the approaches based on the concept of Competency are widely used in the field of Education as well as in the field of Human Resources Development. Competency Modeling is considered to be essential for any kind of Pedagogical Design within the area of e-learningapplications, adding to them several new possibilities. One of the most popular representations of competencies and learning goals (which are considered a kind of competency) is that of ontologies. this kind of representation allows processing by machines and their incorporation in e-learningapplications. the present paper contains the presentation of an ontology-based model for the description of the learners' competencies, created through the combination and the extension of three existing ones. the ontology that we describe, was created as part of an experimental e-learningapplication for the description and management of competencies, learning goals and learning material about a specific field of knowledge.
When objects undergo large pose change, illumination variation or partial occlusion, most existed visual tracking algorithms tend to drift away from targets and even fail in tracking them. To address this issue, in th...
详细信息
the proceedings contain 28 papers. the topics discussed include: a compositional model for gesture definition;a development process for usable large scale interactive critical systems: application to satellite ground ...
ISBN:
(纸本)9783642343469
the proceedings contain 28 papers. the topics discussed include: a compositional model for gesture definition;a development process for usable large scale interactive critical systems: application to satellite ground segments;agile user experience development in a large software organization: good expertise but limited impact;smartphone applications usability evaluation: a hybrid model and its implementation;methods towards API usability: a structural analysis of usability problem categories;putting dementia into context: a selective literature review of assistive applications for users with dementia and their caregivers;puzzle: a visual-based environment for end user development in touch-based mobile phones;towards conflict management in user interface composition driven by business needs;a model for assessing organizational learning in software development organizations;and a personality based design approach using subgroup discovery.
this article briefly describes the research status of the human exoskeleton system, and gives a summary of the human lower limb gait analysis. On this basis, the machinelearning classification algorithms and clusteri...
详细信息
暂无评论