35963439
A counter-example to a clustering heuristic
36321582
Enacting object-oriented methods by a process environment
Abstract This paper describes modeling and enactment of two object-oriented methods, namely the OMT method and the Booch method, using the concurrent software process language (CSPL). CSPL is a process-centered environment using Ada95-like syntax to model a method as a process program which is then compiled to C-shell executing in UNIX. A method can thus be enacted (executed) using this approach. Experiences of the approach are depicted. It is demonstrated that CSPL is feasible and appropriate for modeling and enacting methods, including object-oriented methods. Additionally, partial CSPL program modeling the Booch method is included in the Appendix.
5765721
Architecture of TsinghuAeolus
RoboCup Simulation Server provides a wonderful challenge for all the participants. This paper explains key technology implemented by Tsinghuaeolus RoboCup team played in RoboCup environment, including basic adversarial skills, which is developed by using Dynamic Programming in combination with heuristic search algorithm, and reactive strategy architecture. Tsinghuaeolus was the winner of RoboCup2001.
19987062
On the construction of most reliable networks
The construction of most reliable networks is investigated. In particular, the study of restricted edge connectivity shows that general Harary graphs are max λ-min mi for all i=λ, λ+1,....2λ- 3. As a consequence, this implies that for each pair of positive integers n and e, there is a graph of n vertices and e edges that is max λ-min mi for all i= λ,λ + 1,....2λ - 3. General Harary graphs that are max λ-min mi for all i= λ, λ + 1,.... 2λ - 2 are also constructed.
8935191
Maximum genus and connectivity
Abstract It is shown that ⌈β(G)/3⌉ is the tight lower bound on the maximum genus γM(G) of 2-edge-connected simplicial graphs, where β(G) is the cycle rank of the graph G. Also, a systematic method is developed to construct 3-vertex-connected simplicial graphs G satisfying the equality γM(G) = ⌈β(G)/3⌉. These two results combine with previously known results to yield a complete picture of the tight lower bounds on the maximum genus of simplicial graphs.
35660331
An NL Hierarchy
Abstract We introduce a new nondeterministic oracle model. Our model is significantly different from all previous space-bounded oracle models, and has the following properties: First, it permits a nontrivial NL-hierarchy, which does not collapse without a similar consequence for the polynomial-time hierarchy. This is immediate from the result that ∑ k p is exactly the 2 k th level in our NL-hierarchy, for all k ⩾1. On the other hand, it still behaves very well in relativised worlds. In particular, the new model satisfies the Immerman-Szelepcsenyi theorem and Savitch's theorem in the relativized worlds for oracle sets in each level of the polynomial-time hierarchy.
971415
Adaptive image segmentation based on color and texture
We propose an image segmentation algorithm that is based on spatially adaptive color and texture features. The features are first developed independently, and then combined to obtain an overall segmentation. Texture feature estimation requires a finite neighborhood which limits the spatial resolution of texture segmentation, while color segmentation provides accurate and precise edge localization. We combine a previously proposed adaptive clustering algorithm for color segmentation with a simple but effective texture segmentation approach to obtain an overall image segmentation. Our focus is in the domain of photographic images with an essentially unlimited range of topics. The images are assumed to be of relatively low resolution and may be degraded or compressed.