Application programming Interface (API) is a feature available in some traffic simulation programs to allow users to customize changes in simulation such as driver behavior, ramp metering control strategies, and other...
详细信息
the Traveling Tournament Problem with Predefined Venues (TTPPV) is a single round robin variant of the Traveling Tournament Problem, in which the venue of each game to be played is known beforehand. We propose an Iter...
详细信息
Educational robotics has the potential for improving special needs education and for eliminating barriers to learning if it can be focused squarely on the special needs of children. this case study examines a variety ...
详细信息
ISBN:
(纸本)9781595939944
Educational robotics has the potential for improving special needs education and for eliminating barriers to learning if it can be focused squarely on the special needs of children. this case study examines a variety of special needs that have the potential to enrich educational robotic design. Educational robotics should be used to meet the individual needs of children and to expose them to the possibilities of various forms of self-expression and exploration. It should facilitate advanced hands-on programming, increase the rate of two-directional communication between child and robot, and improve the quality of instruction and intervention. We designed this study as a qualitative action research project with eight special needs education children who worked with LEGO, ?Mindstorms, ?NXT and Topobo robots over a nine-month period. the research convinced us that properly adapted educational robotics can be suited to a variety of users who have different individual needs. Copyright 2008 ACM.
the Java approach to Object-Oriented Design by Contract can be extended and applied to Aspect-Oriented Software. For doing so, we need to address how current Object-Oriented Design by Contract can be modified to tackl...
详细信息
the Java approach to Object-Oriented Design by Contract can be extended and applied to Aspect-Oriented Software. For doing so, we need to address how current Object-Oriented Design by Contract can be modified to tackle aspect advising, as well as to actually extend the Design by Contract approach for aspect modules. Our approach is general enough to be applied to Java Aspect-Oriented extensions such as AspectJ, CaesarJ, and FuseJ. Copyright 2008 ACM.
the proceedings contain 110 papers. the topics discussed include: a rate control protocol for high speed streaming video;collaboration between security devices toward improving network defense;trust mechanism in distr...
详细信息
ISBN:
(纸本)9780769531311
the proceedings contain 110 papers. the topics discussed include: a rate control protocol for high speed streaming video;collaboration between security devices toward improving network defense;trust mechanism in distributed access control model of P2P networks;convergence analysis of Jacobi iterative method using logarithmic number system;effective RTL method to develop on-line self-test routine for the processors using the wavelet transform;comparison between new quantum approaches for finding the minimum or the maximum of an unsorted set of integers;evaluation on quantum computation and classic parallel approaches for finding estimation of the length of shortest path in a weighted graph;a real-time interactive visualization system for DNS amplification attack challenges;radix plus length based insert sort;and an integer linear programming approach for dedicated machine constraint.
the proceedings contain 140 papers. the topics discussed include: a Bayesian approach to switching linear Gaussian state-space models for unsupervised time-series segmentation;prioritizing health promotion plans with ...
ISBN:
(纸本)9780769534954
the proceedings contain 140 papers. the topics discussed include: a Bayesian approach to switching linear Gaussian state-space models for unsupervised time-series segmentation;prioritizing health promotion plans with k-Bayesian network classifier;temporal exemplar-based Bayesian networks for facial expression recognition;a Bayesian learning automaton for solving two-armed Bernoulli Bandit problems;combining dissimilarities in a Hyper reproducing Kernel Hilbert space for complex human cancer prediction;making the Lipschitz classifier practical via semi-infinite programming;a supervised decision rule for multiclass problems minimizing a loss function;selecting examples in manifold reduced space for active learning;network-constrained support vector machine for classification;learning-based fusion for data deduplication;and basis function construction in reinforcement learning using cascade-correlation learning architecture.
the proceedings contain 29 papers. the topics discussed include: research agenda for system of systems interoperability;diagnosis and prognosis of interoperability challenges;modeling key dynamics in complex systems (...
详细信息
ISBN:
(纸本)0769530915
the proceedings contain 29 papers. the topics discussed include: research agenda for system of systems interoperability;diagnosis and prognosis of interoperability challenges;modeling key dynamics in complex systems (of systems) environments: functional concepts;the method framework for engineering system architectures (MFESA): a practical way to generate effective and efficient project-specific system architecture engineering methods;designing for recovery: new challenges for large-scale complex IT systems;practical approaches to delivering service-oriented solutions: the role of software architects and architecture in an SOA world;interoperability to drive open innovation of enterprises;supporting runtime system adaptation through product line engineering and plug-in techniques;and a methodology for dynamic service composition.
As Aspect-Oriented programming (AOP) wins more and more popularity, there is increasing interest in using aspects to implement crosscutting concerns in object-oriented software. During software evolution, source code ...
详细信息
there has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants, in order to capture important invariants of the program in the types. this...
详细信息
ISBN:
(纸本)9781595939197
there has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants, in order to capture important invariants of the program in the types. this allows type-based program verification and is a promising compromise between plain old types and full blown Hoare logic proofs. the introduction of GADTS in GHC (and more recently type families) made such dependent typing available in an industry-quality implementation, making it possible to consider its use in large scale programs. We have undertaken the construction of a complete compiler for System F, whose main property is that the GHC type checker verifies mechanically that each phase of the compiler properly preserves types. Our particular focus is on "types rather than proofs": reasonably few annotations that do not overwhelm the actual code. We believe it should be possible to write such a type-preserving compiler with an amount of extra code comparable to what is necessary for typical typed intermediate languages, but withthe advantage of static checking. We will show in this paper the remaining hurdles to reach this goal.
the particular role to safe somebody's life, health and ability to work falls on professional risk assessment and on implementation of prevention measures for reason to decrease or avoid the risk. To ensure occupa...
详细信息
ISBN:
(纸本)9789955282631
the particular role to safe somebody's life, health and ability to work falls on professional risk assessment and on implementation of prevention measures for reason to decrease or avoid the risk. To ensure occupational safety and health at work in all aspects related to work is the main duty of every employer. One of the basic principles to ensure occupational safety and health is risk related to occupational safety and health escaping and constant risk estimation, the identification, analysis and assessment of risk factors and decrease of influence. therefore it is very important to identify risk factors in time, to establish the risk degree of accidents at work and to take necessary technical, organizational and hygiene preventive measures. In this work the main requirements of occupational safety and health are estimated, circumstances and reasons of accidents at work in construction in years 2000 - 2006 are analysed and the mathematical models for appraising of effectiveness of preventive measures are suggested. In this work there were used methods of statistical analytical, poll, analysis methods and other mathematical methods.
暂无评论