In this communication, an improved MIMO antenna array with defected ground structure (DGS) is designed for 5G wireless applications. Its schematic comprises eight radiator elements, situated at the center of an FR-4 p...
详细信息
In this paper, we introduce an interface for natural language dialog system and the Microsoft Excel API. This interface enables users to describe actions in unrestricted natural language interactively and run these ac...
详细信息
The GRID infrastructure provides an aggregation of a wide variety of distributed resources for solving large-scale data intensive problems in various fields. The aim of this paper is to propose a method for grid resou...
详细信息
作者:
Gupta, GopalPontelli, EnricoApplied Logic
Programming Languages and Systems Lab. Department of Computer Science University of Texas at Dallas Richardson TX 95083 United States Laboratory for Logic
Databases and Advanced Programming Department of Computer Science New Mexico State University Las Cruces NM 88003 United States
Domain Specific Languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. We present a (constraint) logi...
详细信息
The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of the development of embedded systems to d...
详细信息
In this paper, we show how to fully automatically infer semantic interfaces of data structures on the basis of systematic testing. Our semantic interfaces are a generalized form of Register Automata (RA), comprising p...
详细信息
Recommender systems allow making personalized recommendations for items or products while browsing online, using numerous algorithms and techniques to predict and recommend potentially useful items to a specific user....
详细信息
In this paper, we supplement the set of basic and back-forth behavioural equivalences for Petri nets considered in [11] by place bisimulation ones. The relationships of all the equivalence notions are examined, and th...
详细信息
This paper presents a methodology to design automatically a QFT (Quantitative Feedback Theory) robust controller for plants with model uncertainty. The method proposed has as objective to find a QFT robust controller ...
详细信息
暂无评论