In this paper we propose an application-level power consumption modeling and optimization technique for mobile devices. The application being considered is modeled as a FSM and the power consumption figures are associ...
详细信息
ISBN:
(纸本)1581137419
In this paper we propose an application-level power consumption modeling and optimization technique for mobile devices. The application being considered is modeled as a FSM and the power consumption figures are associated with it through current measurements on selected states, followed by the application of a linear functional model. The FSM model is then used, together with a power management policy, to extend battery lifetime while guaranteeing the execution of essential states in the application. In this paper, the methodology Is applied to a specific case study, namely the fruition of multimedia content in an E-Learning scenario.
Powerful mobile devices with minimal I/O capabilities increase the likelihood that we will want to annex these devices to I/O resources we encounter in the local environment. This opportunistic annexing will require a...
详细信息
Several researchers, including Leonid Levin, Gerard 't Hooft, and Stephen Wolfram, have argued that quantum mechanics will break down before the factoring of large numbers becomes possible. If this is true, then t...
详细信息
Several researchers, including Leonid Levin, Gerard 't Hooft, and Stephen Wolfram, have argued that quantum mechanics will break down before the factoring of large numbers becomes possible. If this is true, then there should be a natural set of quantum states that can account for all quantum computing experiments performed to date, but not for Shor's factoring algorithm. We investigate as a candidate the set of states expressible by a polynomial number of additions and tensor products. Using a recent lower bound on multilinear formula size due to Raz, we then show that states arising in quantum error-correction require nΩ (log n) additions and tensor products even to approximate, which incidentally yields the first superpolynomial gap between general and multilinear formula size of functions. More broadly, we introduce a complexity classification of pure quantum states, and prove many basic facts about this classification. Our goal is to refine vague ideas about a breakdown of quantum mechanics into specific hypotheses that might be experimentally testable in the near future.
As world populations grow older the incidence of Alzheimer's disease (AD) and other dementia related illnesses increases (approximately 18 million sufferers worldwide). One particularly devastating effect of AD is...
详细信息
In this paper we describe our experience in the design and teaching of a new evolutionary introductory programming course in a new Distributed computing and Communications Systems Technology program at the University ...
详细信息
ISBN:
(纸本)1581137982
In this paper we describe our experience in the design and teaching of a new evolutionary introductory programming course in a new Distributed computing and Communications Systems Technology program at the University of Guelph-Humber. This course is evolutionary and innovative because it integrates the use of HTML, JavaScript, and Java in a one-semester introductory computer programming course. This is a marked departure from the use of a single conventional, general purpose, programming language such as Java or C++. The course is designed with two goals in mind: to improve the students experience in their first computer programming;and to achieve retention in the new program.
This paper discusses a variety of ways to place diagrams like pie charts on maps, in particular, administrative sub-divisions. The different ways come from different models of the placement problem: a diagram of one r...
详细信息
This paper discusses a variety of ways to place diagrams like pie charts on maps, in particular, administrative sub-divisions. The different ways come from different models of the placement problem: a diagram of one region should cover other regions, roads or boundaries as little as possible. In total we present six models for diagram placement. We outline three different algorithmic approaches and discuss the efficiency of each approach for the different models, and also for different types of diagrams (rectangular, circular, same or different sizes). We have implemented an algorithm for each model and show the resulting diagram placements on a number of maps. Our evaluation gives a first indication which model is best for aesthetically good diagram placement. Copyright 2004acm.
A large-scale finite element simulation and modeling method for environmental flows is presented. The stabilized parallel finite element method based on SUPG/PSPG method was employed. The present method was applied to...
详细信息
ISBN:
(纸本)076952138X
A large-scale finite element simulation and modeling method for environmental flows is presented. The stabilized parallel finite element method based on SUPG/PSPG method was employed. The present method was applied to the simulation of windflows and rainfall in mountain and urban area. Several GIS and CAD data were used for the. preparation of shape model and an automatic mesh generation method based on Delaunay method was developed. The present method is shown to be a useful planning and design tool for the natural disasters and the change of environments.
We give the first formal definition of the concept of simplification for general expressions in the context of Computer Algebra Systems. The main mathematical tool is an adaptation of the theory of Minimum Description...
详细信息
ISBN:
(纸本)9781581138276
We give the first formal definition of the concept of simplification for general expressions in the context of Computer Algebra Systems. The main mathematical tool is an adaptation of the theory of Minimum Description Length, which is closely related to various theories of complexity, such as Kolmogorov Complexity and Algorithmic Information Theory. In particular, we show how this theory can justify the use of various "magic constants" for deciding between some equivalent representations of an expression, as found in implementations of simplification routines. Copyright 2004acm.
A new quantum method of learning and optimization process simulation, and physical silicon implementation of quantum algorithm gates (QAG's) with applications to Al, applied informatics and robust intelligent cont...
详细信息
ISBN:
(纸本)1889335231
A new quantum method of learning and optimization process simulation, and physical silicon implementation of quantum algorithm gates (QAG's) with applications to Al, applied informatics and robust intelligent control is discussed. R&D results in simulation and design of QAG are described. The QAG's design method on the examples as Graver's quantum search algorithm (QSA) and quantum games is illustrated. The developed analysis and synthesis of QAG's dynamic are the background for silicon circuit gate design and simulation of robust knowledge base (KB) for intelligent fuzzy controllers (FC).
Moving point object data can be analyzed through the discovery of patterns. We consider the computational efficiency of detecting four such spatio-temporal patterns, namely flock, leadership, convergence, and encounte...
详细信息
Moving point object data can be analyzed through the discovery of patterns. We consider the computational efficiency of detecting four such spatio-temporal patterns, namely flock, leadership, convergence, and encounter, as defined by Laube et al., 2004. These patterns are large enough subgroups of the moving point objects that exhibit similar movement in the sense of direction, heading for the same location, and/or proximity. By the use of techniques from computational geometry, including approximation algorithms, we improve the running time bounds of existing algorithms to detect these patterns. Copyright 2004acm.
暂无评论