Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Bayesian Networks (3)
- Bayesian networks (2)
- Belief propagation (2)
- Formal Verification (2)
- GPUs (2)
-
- Junction Trees (2)
- Junction trees (2)
- Machine Learning (2)
- Parallel Computing (2)
- Parallel computing (2)
- ASP (1)
- Active Server Pages (1)
- Artificial Intelligence & Robotic Control (1)
- Cloud computing (1)
- Cognitive radio (1)
- Computer and Software (1)
- Content management system (1)
- Feedback Control (1)
- Feedburner (1)
- Human Aspects (1)
- Human Factor (1)
- Large-scale File Systems (1)
- MBTI (1)
- Machine learning (1)
- Mobility (1)
- Namespace Management (1)
- Networking (1)
- Ontology (1)
- Orbital Services (1)
- Orbital computing (1)
Articles 1 - 11 of 11
Full-Text Articles in Computer Engineering
Probabilistic Verification Of Coordinated Multi-Robot Missions, Sagar J. Chaki, Joseph A. Giampapa
Probabilistic Verification Of Coordinated Multi-Robot Missions, Sagar J. Chaki, Joseph A. Giampapa
Joseph Andrew Giampapa
Robots are increasingly used to perform a wide variety of tasks, especially those involving dangerous or inaccessible locations. As the complexity of such tasks grow, robots are being deployed in teams, with complex coordination schemes aimed at maximizing the chance of mission success. Such teams operate under inherently uncertain conditions -- the robots themselves fail, and have to continuously adapt to changing environmental conditions. A key challenge facing robotic mission designers is therefore to construct a mission -- i.e., specify number and type of robots, number and size of teams, coordination and planning mechanisms etc. -- so as to maximize …
Rapport: Semantic-Sensitive Namespace Management In Large-Scale File Systems, Yu Hua, Hong Jiang, Yifeng Zhu, Dan Feng
Rapport: Semantic-Sensitive Namespace Management In Large-Scale File Systems, Yu Hua, Hong Jiang, Yifeng Zhu, Dan Feng
Yifeng Zhu
Explosive growth in volume and complexity of data exacerbates the key challenge to effectively and efficiently manage data in a way that fundamentally improves the ease and efficacy of their use. Existing large-scale file systems rely on hierarchically structured namespace that leads to severe performance bottlenecks and renders it impossible to support real-time queries on multi-dimensional attributes. This paper proposes a novel semantic-sensitive scheme, called Rapport, to provide dynamic and adaptive namespace management and support complex queries. The basic idea is to build files’ namespace by utilizing their semantic correlation and exploiting dynamic evolution of attributes to support namespace management. …
Optimizing Parallel Belief Propagation In Junction Trees Using Regression, Lu Zheng, Ole J. Mengshoel
Optimizing Parallel Belief Propagation In Junction Trees Using Regression, Lu Zheng, Ole J. Mengshoel
Ole J Mengshoel
Making Sense Of Software Development And Personality Types, Luiz Fernando Capretz, Faheem Ahmed Dr.
Making Sense Of Software Development And Personality Types, Luiz Fernando Capretz, Faheem Ahmed Dr.
Luiz Fernando Capretz
No abstract provided.
How To Build An Rss Feed Using Asp, Umakant Mishra
How To Build An Rss Feed Using Asp, Umakant Mishra
Umakant Mishra
RSS is a XML based format. The Current popular version of RSS is RSS version 2.0. The purpose of adding an RSS feed to your site is to show if anything new is added to the site. For example, if a new article or blog or news item is added to your site that should automatically appear in the RSS feed so that the visitors/ RSS readers will automatically get updated about this new addition. The RSS feed is also called RSS channel.
There are two main elements of the RSS XML file, one is the header or channel element …
Exploring Multiple Dimensions Of Parallelism In Junction Tree Message Passing, Lu Zheng, Ole J. Mengshoel
Exploring Multiple Dimensions Of Parallelism In Junction Tree Message Passing, Lu Zheng, Ole J. Mengshoel
Ole J Mengshoel
Mobile Computing: Challenges And Opportunities For Autonomy And Feedback, Ole J. Mengshoel, Bob Iannucci, Abe Ishihara
Mobile Computing: Challenges And Opportunities For Autonomy And Feedback, Ole J. Mengshoel, Bob Iannucci, Abe Ishihara
Ole J Mengshoel
Spatial Computing In An Orbital Environment: An Exploration Of The Unique Constraints Of This Special Case To Other Spatial Computing Environments, Jeremy Straub
Jeremy Straub
The creation of an orbital services model (where spacecraft expose their capabilities for use by other spacecraft as part of a service-for-hire or barter system) requires effective determination of how to best transmit information between the two collaborating spacecraft. Existing approaches developed for ad hoc networking (e.g., wireless networks with users entering and departing in a pseudo-random fashion) exist; however, these fail to generate optimal solutions as they ignore a critical piece of available information. This additional piece of information is the orbital characteristics of the spacecraft. A spacecraft’s orbit is nearly deterministic if the magnitude and direction of its …
Sugarmap: Location-Less Coverage For Micro-Aerial Sensing Swarms, Aveek Purohit, Zheng Sun, Pei Zhang
Sugarmap: Location-Less Coverage For Micro-Aerial Sensing Swarms, Aveek Purohit, Zheng Sun, Pei Zhang
Zheng Sun
No abstract provided.
Describing Radio Hardware And Software Using Owl For Over-The-Air Software Download, Todor Cooklev, Stanchev, David Clendenen
Describing Radio Hardware And Software Using Owl For Over-The-Air Software Download, Todor Cooklev, Stanchev, David Clendenen
Todor Cooklev
Recently, several researchers have discovered the need for radios to use description techniques. Previous research describes information such as the current frequency band, waveform, and so on. However, this information is presented at a level that is not sufficient to determine software/hardware compatibility for over-the-air software download. For example, a device should not attempt to download a wideband waveform if its radio front-end is only narrowband, or if its baseband hardware cannot provide the required MIPS for the new waveform. Over-the-air software download is one of the most interesting features of software-defined radios. The compatibility between software and hardware prior …
Probabilistic Verification Of Coordinated Multi-Robot Missions, Sagar Chaki, Joseph Giampapa
Probabilistic Verification Of Coordinated Multi-Robot Missions, Sagar Chaki, Joseph Giampapa
Sagar J Chaki
Robots are increasingly used to perform a wide variety of tasks, especially those involving dangerous or inaccessible locations. As the complexity of such tasks grow, robots are being deployed in teams, with complex coordination schemes aimed at maximizing the chance of mission success. Such teams operate under inherently uncertain conditions -- the robots themselves fail, and have to continuously adapt to changing environmental conditions. A key challenge facing robotic mission designers is therefore to construct a mission -- i.e., specify number and type of robots, number and size of teams, coordination and planning mechanisms etc. -- so as to maximize …