Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Location-based services (2)
- ASP (1)
- Answer set programming (1)
- Cellular phones (1)
- Critical point (1)
-
- Dissertation (1)
- Framework (1)
- G-Sense (1)
- GPS (1)
- GPS embedded chips (1)
- Genetic Algorithm (1)
- Global sensing (1)
- Human-centric sensing (1)
- Integrated sensors (1)
- Internet connectivity (1)
- Java Micro Edition (1)
- Local search (1)
- Location information (1)
- Mobile networks (1)
- Mobile phone (1)
- Monitoring (1)
- Pareto Front (1)
- Participatory sensing (1)
- Pervasiveness (1)
- Process (1)
- Propositional satisfiability (1)
- Real time (1)
- Reliability (1)
- SAT (1)
- Scalable architecture (1)
Articles 1 - 4 of 4
Full-Text Articles in Physical Sciences and Mathematics
A Genetic Algorithm For Multiobjective Hard Scheduling Optimization, Elías Niño, Carlos Ardila, Alfredo J. Perez, Yexid Donoso
A Genetic Algorithm For Multiobjective Hard Scheduling Optimization, Elías Niño, Carlos Ardila, Alfredo J. Perez, Yexid Donoso
Computer Science Faculty Publications
This paper proposes a genetic algorithm for multiobjective scheduling optimization based in the object oriented design with constrains on delivery times, process precedence and resource availability. Initially, the programming algorithm (PA) was designed and implemented, taking into account all constraints mentioned. This algorithm’s main objective is, given a sequence of production orders, products and processes, calculate its total programming cost and time.
Once the programming algorithm was defined, the genetic algorithm (GA) was developed for minimizing two objectives: delivery times and total programming cost. The stages defined for this algorithm were: selection, crossover and mutation. During the first stage, the …
G-Sense: A Scalable Architecture For Global Sensing And Monitoring, Alfredo J. Perez, Miguel A. Labrador, Sean J. Barbeau
G-Sense: A Scalable Architecture For Global Sensing And Monitoring, Alfredo J. Perez, Miguel A. Labrador, Sean J. Barbeau
Computer Science Faculty Publications
The pervasiveness of cellular phones combined with Internet connectivity, GPS embedded chips, location information, and integrated sensors provide an excellent platform to collect data about the individual and its surrounding environment. As a result, new applications have recently appeared to address large-scale societal problems as well as improve the quality of life of the individual. However, these new applications, recently called location-based services, participatory sensing, and human-centric sensing, bring many new challenges, one of them being the management of the huge amount of traffic (data) they generate. This article presents G-Sense, for Global-Sense, an architecture that integrates mobile and static …
A Location-Aware Framework For Intelligent Real-Time Mobile Applications, Sean J. Barbeau, Rafael A. Perez, Miguel A. Labrador, Alfredo J. Perez, Nevine Labib Georggi, Philip L. Winters
A Location-Aware Framework For Intelligent Real-Time Mobile Applications, Sean J. Barbeau, Rafael A. Perez, Miguel A. Labrador, Alfredo J. Perez, Nevine Labib Georggi, Philip L. Winters
Computer Science Faculty Publications
The Location-Aware Information Systems Client (LAISYC) supports intelligent, real-time, mobile applications for GPS-enabled mobile phones by dynamically adjusting platform parameters for application performance while conserving device resources such as battery life.
Sat-Based Answer Set Programming, Yuliya Lierler
Sat-Based Answer Set Programming, Yuliya Lierler
Computer Science Faculty Publications
Answer set programming (ASP) is a declarative programming paradigm oriented towards difficult combinatorial search problems. Syntactically, ASP programs look like Prolog programs, but solutions are represented in ASP by sets of atoms, and not by substitutions, as in Prolog. Answer set systems, such as SMODELS, SMODELSCC, and DLV, compute answer sets of a given program in the sense of the answer set (stable model) semantics. This is different from the functionality of Prolog systems, which determine when a given query is true relative to a given logic program. ASP has been applied to many areas of science and technology, from …