This paper contributes to solve effectively stochastic resource allocation problems known to be NP-Complete. To address this complex resource management problem, previous works on pruning the action space of real-time...
详细信息
In response to increasing demands for true multimedia telecommunications services anywhere any time there are concerted efforts worldwide towards the definition and development of "future-generation" wireles...
详细信息
ISBN:
(纸本)076952835X
In response to increasing demands for true multimedia telecommunications services anywhere any time there are concerted efforts worldwide towards the definition and development of "future-generation" wireless systems which may be expected to enter service within the next ten years. These will differ from current and near-future systems such as second- and third-generation cellular, WIFI, WiMAX and 3G long term evolution systems, in several important aspects: The radio system will configure itself and adapt to a users' needs, the capabilities of the user's terminal, and to the environment scenario. A "user" may be a person or a device, such as a sensor. The system can easily adapt to local hot spot, metropolitan area or wide area scenarios, static or fast-moving. The system will support high user densities and a very wide range of user bit rates - Kilobits per second to hundreds of Megabits per second. All this will be achieved with efficient spectrum usage and sharing, low cost, and acceptably low terminal power consumption. Such future wireless systems (sometimes called "fourth generation" (4G), sometimes called "beyond third generation" (B3G)), capable of transporting very high bit rates In non-ideal radio propagation environments, must be robust to severe frequency selective multipath. Further requirements include moderate terminal and base station hardware costs, high spectral efficiency, and scalability of the cost of terminals with respect to their maximum bit rate capabilities. Reconfigurable air Interfaces, based on frequency domain transmission and reception methods, best meet these requirements, by adaptively selecting the uplink and downlink modulation and multiple access scheme that is most appropriate for the channel, Interference, traffic and cost constraints. In this talk we discuss a generalized frequency domain-based approach to next-generation wireless air interfaces, presenting examples and research results, including channel estimation and power
Soccer simulation is an effort to motivate researchers to perform artificial and robotic intelligence investigations in a multi-agent system framework. In this paper, we propose a game theoric-based data mining approa...
详细信息
Animals show a great ability to move on real world. Taxis is a motion control technique used by simple animals. In this paper mathematical equations are derived from a taxis model for non-holonomous vehicles. A qualit...
详细信息
ISBN:
(纸本)9783902661654
Animals show a great ability to move on real world. Taxis is a motion control technique used by simple animals. In this paper mathematical equations are derived from a taxis model for non-holonomous vehicles. A qualitative technique is applied to analyse the solutions of the nonlinear derived motion equations. To validate the model and qualitative analysis several simulations are performed.
There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling uncertainty in DL frameworks. While much progre...
详细信息
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent system robustness and reliability. ARTS...
详细信息
Various systems have explored the idea of inferring 3D models from sketched 2D outlines. In all of these systems the underlying modeling methodology limits the complexity of models that can be created interactively. T...
详细信息
Most algorithms developed for scheduling applications on global Grids focus on a single Quality of Service (QoS) parameter such as execution time, cost or total data transmission time. However, if we consider more tha...
详细信息
ISBN:
(纸本)9781595939449
Most algorithms developed for scheduling applications on global Grids focus on a single Quality of Service (QoS) parameter such as execution time, cost or total data transmission time. However, if we consider more than one QoS parameter (eg. execution cost and time may be in conflict) then the problem becomes more challenging. To handle such scenarios, it is convenient to use heuristics rather than a deterministic algorithm. In this paper we have proposed a workflow execution planning approach using Multiobjective Differential Evolution (MODE). Our goal was to generate a set of trade-off schedules according to two user specified QoS requirements (time and cost). The alternative tradeoff solutions offer more flexibility to users when estimating their QoS requirements of workflow executions. We have compared our results with two baseline multiobjective evolutionary algorithms. Simulation results show that our modified MODE is able to find a comparatively better spread of compromise solutions. Copyright 2007 ACM.
We present a novel approach for point-set implicit surface sampling that is able to rapidly distribute particles over the surface of 3D objects. Our methods benefit from the inner structure of a MPU implicit to obtain...
详细信息
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., almos...
详细信息
ISBN:
(纸本)9781595937216
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., almost three years following its release, Java 5 has yet to be fully supported. This paper presents the architecture of JML4, an Integrated Verification Environment (IVE) for JML that builds upon Eclipse's support for Java, enhancing it with Extended Static Checking (ESC), an early form of Runtime Assertion Checking (RAC) and JML's non-null type system. Early results indicate that the synergy of complementary verification techniques (being made available within a single tool) can help developers be more effective;we demonstrate new bugs uncovered in JML annotated Java source - -like ESC/Java2 - -which is routinely verified using first generation JML tools. Copyright 2007 ACM.
暂无评论