搜索结果: 1-8 共查到“计算机科学技术 Modular”相关记录8条 . 查询时间(0.109 秒)
Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs
Languages Verification Experimentation
2016/5/24
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We first present a theory of h...
Large-scale modular quantum-computer architecture with atomic memory and photonic interconnects
Large-scale modular quantum-computer architecture atomic memory photonic interconnects
2016/1/22
The practical construction of scalable quantum-computer hardware capable of executing nontrivial quantum algorithms will require the juxtaposition of different types of quantum systems. We analyze a m...
A modular network treatment of Baars' Global Workspace consciousness model
consciousness general cognitive model global workspace information theory phase transition random network
2015/7/31
Adapting techniques from random and semirandom network theory, this work provides an alternative to the renormalization and phase transition methods used in Wallace's (2005a) treatment of Baars' Globa...
Modular Feature Models: Representation and Configuration
Modular Feature Models Representation Configuration
2014/3/11
Within the realm of software product line engineering, feature modeling is one of the widely used techniques for modeling commonality as well as variability. Feature models incorporate the entire doma...
Low-profile, Modular, Ultra-Wideband Phased Arrays
antenna arrays common mode dipole planar arrays SATCOM ultrawideband
2014/11/7
Ultrawideband (UWB) phased antenna arrays are critical to the success of future multi-functional communication, sensing, and countermeasure systems, which will utilize a few UWB phased arrays in place...
An Implicit Surface Modeling Technique Based on a Modular Neural Network Architecture
Geometric Modeling Implicit Surfaces Neural Networks
2009/7/28
Independently from artificial intelligence applications, an artificial neural network can be viewed as a powerful tool for function reconstruction. Previous papers used this property to model an impli...
Modular Consistency Analysis of Component-Based Designs
Modular Consistency Analysis Component-Based Designs
2014/3/12
In this article, we present a practical analysis approach that makes use of the modular nature of component-based designs to alleviate the state space explosion problem, a well-known obstacle to syste...
MODULAR NEURO-FUZZY NETWORKS: SOLLUTIONS FOR EXPLICIT AND IMPLICIT KNOWLEDGE INTEGRATION
neural and neuro-fuzzy integration modular structure
2010/1/13
In this paper we propose a unified approach for integrating implicit and
explicit knowledge in neurosymbolic systems as a combination of neural and neurofuzzy
modules. In the developed hybrid system...