Technology transfer is an especially difficult proposition for real-time control. To facilitate it, we need to complement the "high performance" orientation of control research with an emphasis on demonstrat...
详细信息
ISBN:
(纸本)0780376013
Technology transfer is an especially difficult proposition for real-time control. To facilitate it, we need to complement the "high performance" orientation of control research with an emphasis on demonstrating "high confidence" in real-time implementation. Two particular problems are discussed and recent research directed at their solutions presented. First, the use of anytime algorithms requires dynamic resource management technology that is not generally available today in real-time systems. Second, complex algorithms have unpredictable computational characteristics that nevertheless need to be modeled;statistical verification is suggested as a possible approach. In both cases, a synthesis of control engineering and computer science is required if effective solutions are to be devised.
We try to show in this paper that animations and simulations are often presented as how learning tools, even though all the animations are not really able to fulfill this role. We define what a graphic animation and s...
详细信息
ISBN:
(纸本)9783642211522
We try to show in this paper that animations and simulations are often presented as how learning tools, even though all the animations are not really able to fulfill this role. We define what a graphic animation and simulation to show that, in education systems, they should only be used if they have something to do with: the material to learn the process of learning and / or characteristics of the learner, thus leaving aside the animations used solely for marketing purposes. We then present and discuss a simple but pedagogically relevant simulation included a help system to learn and practicealgorithms. Finally, we propose a guideline establishing general relationships between types of learning activities, types of knowledge implemented and the types of animations and simulations.
The proceedings contain 14 papers. The special focus in this conference is on Implementing Automata. The topics include: WIA and the practice of theory in computer science;algorithms for guided tree automata;time seri...
ISBN:
(纸本)3540631747
The proceedings contain 14 papers. The special focus in this conference is on Implementing Automata. The topics include: WIA and the practice of theory in computer science;algorithms for guided tree automata;time series forecasting by finite-state automata;dynamical implementation of nondeterministic automata and concurrent systems;implementing WSIS via finite automata;instruction computation in subset construction;application to french data adverbials;a toolbox to manipulate finite-state automata;a new quadratic algorithm to convert a regular expression into an automaton;implementing sequential and parallel programs for the homing sequence problem;integrating hands-on work into the formal languages course via tools and programming;NFA to DFA transformation for finite languages;how to use sorting procedures to minimize DFA and FAs and REs in C++.
Fault Detection and Diagnosis (FDD) is a research field that has known a rapid development due to the increasing safety and dependability requirements in high-risk applications. Consequently, a significant number of F...
详细信息
The present paper describes functions and procedures of FUTON Radio Over Fiber Manager to operate with upper (network) and lower (physical) layers used in the transport of the wireless signals between a Central Unit (...
详细信息
ISBN:
(纸本)9781424440665
The present paper describes functions and procedures of FUTON Radio Over Fiber Manager to operate with upper (network) and lower (physical) layers used in the transport of the wireless signals between a Central Unit (CU) and Remote Antenna Units. Also, it presents some mechanisms and procedures to be used in case of failures, while enabling end-to-end service problem resolution and service quality management by the FUTON Middleware. An overview of current RoF Management solutions is initially presented. The paper then addresses some of the challenges identified in [1], namely the specification of Radio-over-Fibre (RoF) manager entity functions that controls FUTON optical infrastructure;definition of the interoperability with the FUTON Middleware and Radio Resource Management;and definition of RoF Management functions which are tightly correlated and integrated with the radio and optical interface, physical layer algorithms in place, and FUTON radio resource management algorithms.
The proceedings contain 27 papers. The topics discussed include: geographic knowledge engineering for territorial intelligence;hyperspectral remote sensing data analysis;inferring geo-spatial neutral similarity from e...
ISBN:
(纸本)9789897580994
The proceedings contain 27 papers. The topics discussed include: geographic knowledge engineering for territorial intelligence;hyperspectral remote sensing data analysis;inferring geo-spatial neutral similarity from earthquake data using mixture and state clustering models;DIFPL - distributed drone flight path builder system;3D seismic waveform classification study based on high-level semantic feature;data collection and management for stratigraphic analysis of upstanding structures;modeling and 2D/3D-visualization of geomagnetic field and its variations parameters;local deforestation patterns in Mexico - an approach using geographically weighted regression;managing and 3D visualization of real-time big geo-referenced data from Las Palmas port through a flexible open source computer architecture;plane-sweep algorithms for the k group nearest-neighbor query;3D reconstruction and visualization of alternatives for restoration of historic buildings - a new approach;and a geospatial tangible user interface to support stakeholder participation in urban planning.
Congestion avoidance control refers to controlling the load of the network by restricting the admission of new user's sessions and resolving the unwanted overload situations. Admission control and Load control con...
详细信息
ISBN:
(纸本)9783642038181
Congestion avoidance control refers to controlling the load of the network by restricting the admission of new user's sessions and resolving the unwanted overload situations. Admission control and Load control constitute key mechanisms regarding Radio Resource Management. As the wireless world is moving towards heterogeneous wireless networks, these types of control are facing more challenges, since efficiency and fairness are required. Game theory provides an appropriate framework for formulating fair and efficient congestion avoidance control problems. In this paper we formulate a non-cooperative game between service providers and customers. On the one hand, the service providers wish to maximize their revenue, but on the other hand, the users wish to maximize the quality of service received, keeping at the same time the expenses as low as possible. Therefore a balance has to be established among these contradictory demands. Our effort also concentrates in the proper modeling of the user's level of satisfaction, so as to provide a logical decision-taking framework. The proposed scheme is then tested using the ns2 simulator. Results show that both parties can benefit from this mechanism.
In this paper, we propose a Collaborative filtering recommendation method based on Bayesian theory. It firstly divides the items that has been rated into two group, then uses Bayesian theory to study the users' pr...
详细信息
The proceedings contain 24 papers. The special focus in this conference is on practice and theory of Automated Timetabling. The topics include: Recent developments in practical examination timetabling;computer-aided s...
ISBN:
(纸本)3540617949
The proceedings contain 24 papers. The special focus in this conference is on practice and theory of Automated Timetabling. The topics include: Recent developments in practical examination timetabling;computer-aided school and university timetabling;scheduling, timetabling and rostering;examination timetabling in british universities;employee timetabling, constraint networks and knowledge-based rules;automated time table generation using multiple context reasoning with truth maintenance;investigations of a constraint logic programming approach to university timetabling;building university timetables using constraint logic programming;complete university modular timetabling using constraint logic programming;using oz for college timetabling;a smart genetic algorithm for university timetabling;a genetic algorithm solving a weekly course-timetabling problem;GA-based examination scheduling experience at middle east technical university;peckish initialisation strategies for evolutionary timetabling;a memetic algorithm for university exam timetabling;extensions to a memetic timetabling system;automatic timetabling in practice;the complexity of timetable construction problems;some combinatorial models for course scheduling;the phase-transition niche for evolutionary algorithms in timetabling;three methods used to solve an examination timetable problem and general cooling schedules for a simulated annealing based timetabling system.
暂无评论