In this paper, we study the reachability problem for conditional term rewriting systems. Given two ground terms s and t, our practical aim is to prove s &rarrR* t for some join conditional term rewriting system R ...
详细信息
During elicitation and verification of specification for real time control systems the sequential-temporal aspects need to be treated separately. these aspects also require animation for verification and incremental r...
详细信息
During elicitation and verification of specification for real time control systems the sequential-temporal aspects need to be treated separately. these aspects also require animation for verification and incremental refinement of the specification. An automated tool kit can be used to mechanize animation of specification. An augmented Petri net modeling tool is adopted to capture the logical, sequential and timing dependencies of a real time control system. A description is also given of a logicprogramming based animator for automated animation of the Petri net description. the augmentations involve a predicate net approach and temporal extensions.
the proceedings contain 70 papers. the topics discussed include: extracting semantically enriched events from the literature;parallel coordinates - visual multidimensional geometry and its applications;Internet of thi...
ISBN:
(纸本)9789898565303
the proceedings contain 70 papers. the topics discussed include: extracting semantically enriched events from the literature;parallel coordinates - visual multidimensional geometry and its applications;Internet of things - towards new frontiers of knowledge management;enhancing the results of recommender systems using implicit ontology relations;a product development system using knowledge-intensive support approach;persona modeling process - from microdata-based templates to specific web ontologies;creating an educational roadmap for engineering students via an optimal and iterative yearly regression tree using data mining;natural language query processing in multimedia ontologies;ontology alignment for classification of low level sensor data;recall-driven product tracing and supply chain tracking using answer set programming;and about creating intelligence systems in ternary logic.
the functional translation from modal logic into first-order predicate logic is revised. Quantifier elimination of second-order predicates is used to translate almost arbitrary modal systems, i.e. not only modal formu...
详细信息
this paper studies the integer solution of the Markowitz mean-variance model. To avoid solving the quadratic equation with constraints directly, it uses geometric linear approximate method, and gives a practical and e...
详细信息
ISBN:
(纸本)9783037859926
this paper studies the integer solution of the Markowitz mean-variance model. To avoid solving the quadratic equation with constraints directly, it uses geometric linear approximate method, and gives a practical and effective calculation method. then it conducts the corresponding calculations regarding the real data, and reaches an optimal solution while the time of calculations is largely reduced, compared to the direct way and the algebraic approach.
the proceedings contain 59 papers. the special focus in this conference is on Text, Speech and Dialogue. the topics include: Knowledge sources for word sense disambiguation;the current status of the Prague dependency ...
ISBN:
(纸本)9783540425571
the proceedings contain 59 papers. the special focus in this conference is on Text, Speech and Dialogue. the topics include: Knowledge sources for word sense disambiguation;the current status of the Prague dependency Treebank;a hybrid logic formalization of information structure sensitive discourse interpretation;the possibilities of automatic detection/correction of errors in tagged corpora;grammatical agreement and automatic morphological disambiguation of inflectional languages;modelling semantic association and conceptual inheritance for semantic analysis;influence of conditional independence assumption on verb subcategorization detection;clustering technique based on semantics for definite description resolution;pronoun resolution in Spanish from full parsing;finding semantically related words in large corpora;syntactic-based methods for measuring word similarity;automatic term recognition and clustering for terms;augmented auditory representation of e-texts for text-to-speech systems;enhancing the valency dictionary of Czech verbs;an interactive graph based legal information retrieval system;building a digital collection of web-pages;three approaches to word sense disambiguation for Czech;human speech perception: some lessons from automatic speech recognition;generative phoneme-three phone model for ASR;algebraic models of speech segment databases;Bayesian noise compensation of time trajectories of spectral coefficients for robust speech recognition;phoneme based ASR system for Slovak speechdat database;large vocabulary continuous speech recognizer for Slovenian language;speech recognition issues for Dutch spoken document retrieval;two-pass recognition of Czech speech using adaptive vocabulary and simulation of speaking styles with adapted prosody.
the business logic of a system plays a major role in this ever changing age defined by global competition, rampant change, faster flow of information and communication, increasing business complexity. Business parties...
详细信息
ISBN:
(纸本)9783642225420
the business logic of a system plays a major role in this ever changing age defined by global competition, rampant change, faster flow of information and communication, increasing business complexity. Business parties have to react to several different competitors by promoting the business process management to the standard level by incorporating the higher-end technology solution such as service oriented business communication and business rule management automation. they realize that it is important to react to the changes faster since the reaction time needs are decreasing every moment. Business logic Evaluation Model (BLEM) are the proposed solution targeting business logic automation and facilitating business experts to write sophisticated business rules and complex calculations without costly custom programming. BLEM is powerful enough to handle service manageability issues by analyzing and evaluating the computability and traceability and other criteria of modified business logic at run time. the web service and QOS grows expensively based on the reliability of the service. Hence the service provider of today things that reliability is the major factor and any problem in the reliability of the service should overcome then and there in order to achieve the expected level of reliability. In our paper we propose business logic evaluation model for web service reliability analysis using Finite State Machine (FSM). If any change occurs in the business logicthe FSM will automatically measure the reliability.
the proceedings contain 51 papers. the special focus in this conference is on Computers and Learning. the topics include: Why hypermedia systems are important;project CALC: calculus as a laboratory course;the structur...
ISBN:
(纸本)9783540555780
the proceedings contain 51 papers. the special focus in this conference is on Computers and Learning. the topics include: Why hypermedia systems are important;project CALC: calculus as a laboratory course;the structures of advanced multimedia learning environments: reconfiguring space, time, story, and text.;adjusting to the paradigm shift in teaching and leaming or: what do i do now?;engagement and construction: educational strategies for the post-TV era;building knowledge-based tutors;learning styles and computer-based learning environments;text and graphics in instructional design;assessing program visualization systems as instructional Aids;all the nagging questions about capacitors;an object-oriented approach to produce educational hypermedia software;a cognitive model of programming knowledge for procedural languages;programming by experimentation and example;an experiment of cooperative *** with hypercard;an ITS for engineering domains: concept, design and application;structuring the subject matter;MIDI draw: designing an impressionistic medium for young musicians, artists, and writers;standardized architecture for integrated open courseware;formal techniques in higher education : a proposal;QUIZ: a distributed intelligent tutoring system;intelligent tutorial system in medicine through an interactive;discourse style and situation viewpoint for a conversational language tutor;open structured CA[ system for kanji learning;the sum of the parts is greater than the whole in online graduate education;development of geoblock: a micro-world for learning and teaching geometry;SODA: a computer aided design environment for the doing and learning of software design;a graphical CAL author language;a knowledge base approach to learning to program in prolog;self-adjusting curriculum planning in sherlock II;integrating an educational simulation into a logic design course.
To date, simulation has been the primary method used to support hardware logic design. In particular, there has been little that could support such design from the system level, such as a language to describe processi...
详细信息
the proceedings contain 168 papers. the topics discussed include: how ready is renewable energy? a review on renewable energy and fuel cell teaching in schools;critical thinking and problem solving skills among engine...
ISBN:
(纸本)9781538615232
the proceedings contain 168 papers. the topics discussed include: how ready is renewable energy? a review on renewable energy and fuel cell teaching in schools;critical thinking and problem solving skills among engineering students at public universities in Malaysia;beyond eportfolios: creating, exploiting, and archiving activity traces, learning outcomes, and learning analytics as personal shareable online spaces;the role of industries in sustaining TVET teacher education programme in Malaysia towards 21st century;application of virtual reality technology stage design of university musical production;Q-STEM module promotes Al-Quran appreciation in teaching STEM;STEAM-oriented robot insect design curriculum for K-12 students;fourth industrial revolution and the future of engineering: could robots replace human jobs?;mathematical thinking styles among engineering students through algebraic problems;relationship between hands-on and written coursework assessments with critical thinking skills in structured programming course;students' perception on assessment for learning in outcome-based education curriculum: a case study in the optical communication course;blended learning & the higher education classroom: a critical review of developments within engineering education;the effectiveness of industrial training from the perspective of engineering students;and public speaking for engineering students in a blended learning environment.
暂无评论