检索结果-内蒙古大学图书馆

International Conference on software engineering (ICSE)

作者： A.G. Cass A.S. Lerner E.K. McCall L.J. Osterweil S.M. Sutton A. Wise Laboratory for Advanced Software Engineering Research Department of Computer Science University of Massachusetts Amherst MA USA University of Massachusetts Amherst Amherst MA US HP Laboratories Palo Alto CA USA IBM Thomas J. Watson Research Center Hawthorne NY USA

Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational semantics. The central abstraction in Little-JIL is the step, which is the focal point for coordination, providing a scoping mechanism for control, data and exception flow and for agent and resource assignment. Steps are organized into a static hierarchy, but can have a highly dynamic execution structure including the possibility of recursion and concurrency. Little-JIL is based on two main hypotheses. The first is that coordination structure is separable from other process language issues. Little-JIL provides rich control structures while relying on separate systems for resource, artifact and agenda management. The second hypothesis is that processes are executed by agents that know how to perform their tasks but benefit from coordination support. Accordingly, each Little-JIL step has an execution agent (human or automated) that is responsible for performing the work of the step. This approach has proven effective in supporting the clear and concise expression of agent coordination for a wide variety of software, workflow and other processes.

关键词： Resource management Laboratories computer science Humans Permission Communication system control High level languages Centralized control Control systems computer languages

来源：评论

学校读者我要写书评

暂无评论

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification

Using Partial Order Techniques to Improve Performance of Dat...

引用

1999 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for software Tools and engineering, PASTE 1999

作者： Naumovich, Gleb Clarke, Lori A. Cobleigh, Jamieson M. Laboratory for Advanced Software Engineering Research Computer Science Department University of Massachusetts AmherstMA01003 United States

ISBN: (纸本)9781581131376

Partial order optimization techniques for distributed systems improve the performance of finite state verification approaches by avoiding redundant exploration of some portions of the state space. Previously, such techniques have been applied in the context of model checking approaches. In this paper we propose a partial order optimization of the program model used by FLAVERS, a data flow based finite state verification approach for checking user-specified properties of distributed software. We demonstrate experimentally that this optimization often leads to significant reductions in the run time of the analysis algorithm of FLAVERS. On average, for those cases where this optimization could be applied, we observed a speedup of 21%. For one of the cases, the optimization resulted in an analysis speedup of 91%. © 1999 ACM

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

An efficient algorithm for computing MHP information for concurrent java programs

引用

7th European software engineering Conference, ESEC 1999 - Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of software engineering, FSE 1999

作者： Naumovich, Gleb Avrunin, George S. Clarke, Lori A. Laboratory for Advanced Software Engineering Research Department of Computer Science University of Massachusetts at Amherst Amherst MA 01003-6410 United States

ISBN: (纸本)3540665382

Information about which statements in a concurrent program may happen in parallel (MHP) has a number of important applications. It can be used in program optimization, debugging, program understanding tools, improving the accuracy of data flow approaches, and detecting synchronization anomalies, such as data races. In this paper we propose a data flow algorithm for computing a conservative estimate of the MHP information for Java programs that has a worstcase time bound that is cubic in the size of the program. We present a preliminary experimental comparison between our algorithm and a reachability analysis algorithm that determines the "ideal" static MHP information for concurrent Java programs. This initial experiment indicates that our data flow algorithm precisely computed the ideal MHP information in the vast majority of cases we examined. In the two out of 29 cases where the MHP algorithm turned out to be less than ideally precise, the number of spurious pairs was small compared to the total number of ideal MHP pairs. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

Staged training of Neocognitron by evolutionary algorithms

Staged training of Neocognitron by evolutionary algorithms

引用

1999 Congress on Evolutionary Computation, CEC 1999

作者： Pan, Zhengjun Sabisch, Theo Adams, Rod Bolouri, Hamid Science and Technology Research Centre Department of Computer Science University of Hertfordshire Hatfield Herts ALlO 9AB United Kingdom State Key Laboratory of Software Engineering Wuhan University Wuhan Hubei 430072 China

ISBN: (纸本)0780355369

The Neocognitron, inspired by the mammalian visual system, is a complex neural network with numerous parameters and weights which should be trained in order to utilise it for pattern recognition. However, it is not easy to optimise these parameters and weights by gradient decent algorithms. We present a staged training approach using evolutionary algorithms. The experiments demonstrate that evolutionary algorithms can successfully train the Neocognitron to perform image recognition on real world problems. © 1999 IEEE.

关键词： Evolutionary algorithms

来源：评论

学校读者我要写书评

暂无评论

Benchmarks and standards for the evaluation of parallel job schedulers 5th

Benchmarks and standards for the evaluation of parallel job ...

引用

5th Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 1999 held in conjunction with the IPPS/SPDP 1999

作者： Chapin, Steve J. Cirne, Walfredo Feitelson, Dror G. Jones, James Patton Leutenegger, Scott T. Schwiegelshohn, Uwe Smith, Warren Talby, David Computer Science and Engineering Department Syracuse University SyracuseNY13244-1240 United States Computer Science and Engineering Department University of California San Diego La JollaCA92093 United States Institute of Computer Science Hebrew University Jerusalem91904 Israel MRJ Technology Solutions NASA Ames Research Center Moffet FieldCA94035 United States Mathematics and Computer Science Department University of Denver DenverCO80208 United States Computer Engineering Institute University Dortmund Dortmund44221 Germany Mathematics and Computer Science Division Argonne National Laboratory ArgonneIL60439 United States

ISBN: (纸本)3540666761

The evaluation of parallel job schedulers hinges on the workloads used. It is suggested that this be standardized, in terms of both format and content, so as to ease the evaluation and comparison of different systems. The question remains whether this can encompass both traditional parallel systems and metacomputing systems. This paper is based on a panel on this subject that was held at the workshop, and the ensuing discussion;its authors are both the panel members and participants from the audience. Naturally, not all of us agree with all the opinions expressed here... © Springer-Verlag Berlin Heidelberg 1999.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Using partial order techniques to improve performance of data flow analysis based verification 99

Using partial order techniques to improve performance of dat...

引用

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

作者： Gleb Naumovich Lori A. Clarke Jamieson M. Cobleigh Laboratory for Advanced Software Engineering Research Computer Science Department University of Massachusetts Amherst Massachusetts

ISBN: (纸本)9781581131376

关键词：

来源：评论

学校读者我要写书评

暂无评论

Friction Selection in Nonlinear Particle Arrays

引用

Physical Review Letters 1999年第1期83卷 104-104页

作者： H. G. E. Hentschel F. Family Y. Braiman Department of Physics Emory University Atlanta Georgia 30322 Center for Engineering Science Advanced Research Computer Science and Mathematics Division Oak Ridge National Laboratory Oak Ridge Tennessee 37831

When a discrete nonlinear array is driven across a periodic surface spatially coherent modes of motion can coexist associated with different average velocities due to resonant parametric forcing of the particle fluctuations by the center of mass motion. Depending on the coupling strength κ and size of the array N, jumps in the minimum friction (maximum velocity) exhibited by the array occur at κm(N)∼(N/m)2 as new modes stabilize and are selected by the dynamics. The existence of such coherent modes allows both an effective low dimensional description of the dynamics to exist and the possibility for control of friction close to these instabilities.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automatic text extraction in digital videos using FFT and neural network

引用

IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

作者： Byung Tae Chun Younglae Bae Tai-Yun Kim Image Processing Department Computer & Software Technology Laboratory Electronics and Telecommunications Research Institute Daejeon South Korea Department of Computer Science and Engineering Korea University Seoul South Korea

ISBN: (纸本)0780354060

Popular methods for extracting a text region in video images are in general based on analysis of a whole image such as merge and split method, and comparison of two frames. Thus, they take long computing time due to the use of a whole image. Therefore, this paper suggests the faster method of extracting a text region without processing a whole image. The proposed method uses line sampling methods, FFT and neural networks in order to extract texts in real time. In general, text areas are found in the higher frequency domain, thus, can be characterized using FFT. The candidate text areas can be thus found by applying the higher frequency characteristics to neural network. Therefore, the final text area is extracted by verifying the candidate areas. Experimental results show a perfect candidate extraction rate and about 92% text extraction rate. The strength of the proposed algorithm is its simplicity, real-time processing by not processing the entire image, and fast skipping of the images that do not contain a text.

关键词： Intelligent networks Videos Neural networks Frequency domain analysis Data mining Image analysis Optical character recognition software Text recognition Layout Image processing

来源：评论

学校读者我要写书评

暂无评论

Caption segmentation method in videos using isodata clustering of topographical features

Caption segmentation method in videos using isodata clusteri...

引用

IEEE Region 10 International Conference TENCON

作者： Byung Tae Chun Yonglae Bae Tai-Yun Kim Image Processing Department Computer & Software Technology Laboratory Electronics and Telecommunications Research Institute Taejon South Korea Department of Computer Science and Engineering Korea University Seoul South Korea

Conventional caption extraction approaches often use a spatial variance method or a color reduction method such as color histogram and color quantization. These methods are time-consuming and restrict the colors for extracting captions. In this paper we propose a method that extracts caption areas using TFs (topographical features) and isodata color clustering. After extracting TFs points using the topographical characteristics of characters, the isodata clustering method is used to cluster the similar colors. The point-line-region method is used to construct the blocks for each of the clustered groups. Constructed blocks are verified and candidate areas are decided. Caption regions are determined by testing several conditions and verifying those candidate areas. Experimental results show that the candidate region extraction rate is 100%, and the character region extraction rate is 98%.

关键词： Videos Color Data mining Image segmentation Testing Image processing Telecommunication computing software computer science Histograms

来源：评论

学校读者我要写书评

暂无评论

Text extraction in videos using topographical features of characters

引用

IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

ISBN: (纸本)0780354060

Traditional character extraction methods use split-and-merge or color segmentation methods from the whole image. These methods do not reflect characteristics of characters such that character regions can be extracted incorrectly. In this paper, we use topographical features of characters to extract the character points and use the density of those points to extract the candidate regions for captions. Character regions are determined by testing several conditions and verifying those candidate regions. Experimental results show that the candidate region extraction rate is 100%, and the character region extraction rate is 99%. Non-character regions can exist within the extracted character regions which are removed using the Isodata color clustering method.

关键词： Videos Data mining Testing Image retrieval Shape Information retrieval Text recognition Optical character recognition software Image processing Telecommunication computing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：