The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03) was held 9 to 13 June 2003 in Trento, Italy. It was chaired by Enrico Giunchiglia (University of Genova), Nicola Muscettola (NASA Ames)...
详细信息
In the paper, a new 4-point approximating subdivision scheme is presented for quadrilateral nets with 4-valence topology. The scheme generates the limit surface of C3 in the limit at the regular face and quasi-tangent...
详细信息
In the paper, a new 4-point approximating subdivision scheme is presented for quadrilateral nets with 4-valence topology. The scheme generates the limit surface of C3 in the limit at the regular face and quasi-tangent plane continuous at the irregular region. comp.red with other algorithms, the main advantage of the scheme is that the limit surface generated by the scheme can hold the shape of initial control polyhedron better than others. In addition, the smoothness is better than our past result. So it is useful in geometric design and modelling.
Mobile IPv6 is comp.icated and distributed, which makes it difficult to describe protocol and generate test sequences. The idea of hierarchy protocol description is proposed. Finite state machine (FSM) and multi-node ...
详细信息
Mobile IPv6 is comp.icated and distributed, which makes it difficult to describe protocol and generate test sequences. The idea of hierarchy protocol description is proposed. Finite state machine (FSM) and multi-node finite state machine (MN-FSM) are defined. Mobile IPv6 protocol is divided into four layers. FSM and MN-FSM are used to describe protocol performing procedure, mobile IPv6 nodes, internal data structure management and discrete functions. The state goto graphes are changed into directed graph. Test generation algorithm for directed graph is designed and the set of test sequences covering mobile IPv6 is generated.
Nonverbal communication plays a vital role in human interaction. To interact sociably with a human, a robot has to recognize and express emotions like a human. It also has to speak and determine its autonomous behavio...
详细信息
Video applications over network are often disturbed by data packet loss or errors as well as the insufficiency of network bandwidth. The fluctuation of network bandwidth and packet loss rate are two key factors that i...
详细信息
Video applications over network are often disturbed by data packet loss or errors as well as the insufficiency of network bandwidth. The fluctuation of network bandwidth and packet loss rate are two key factors that influence the quality of video streaming. Therefore for guaranteeing video quality, FEC (forward error correction) can be adopted to improve the reliability of video data transmission;meanwhile, according to the current network state, the sender can adjust the sending rate of video data and optimally allocate the bandwidth resource between the video source data and FEC data. This paper analyzes the structure of video stream, and presents a frame decoding model that takes into account the frame types and the dependence among frames. On this basis, an optimal algorithm is proposed to allocate the bandwidth resource between the source video data and the FEC data. Experiments show that the model can effectively adapt to the fluctuation of network state, and optimally allocate network bandwidth so as to maximize the playable frame rate on receiver.
Smith-Waterman algorithm is a classical sequence alignment algorithm and behaves very well in a bi-sequence alignment. But its performance is not satisfying when aligning a lot of sequences. The systolic array archite...
详细信息
Smith-Waterman algorithm is a classical sequence alignment algorithm and behaves very well in a bi-sequence alignment. But its performance is not satisfying when aligning a lot of sequences. The systolic array architecture shows good fitness for the algorithm. By appending the array as a co-processor to the Godson 1 architecture, authors build the hardware model of the accelerator. By comp.ring the performance on the Godson 1 simulator with the co-processor and the one without, the systolic array shows almost linear speed-up on the algorithm. Authors at last analyze the model and performance data to reveal the aspects that affect the performance especially the cells' number, the sequences' length, branches and cache size.
Model-checking is one of the most successful automatic verification techniques over the last 20 years, and the development of model-checking tools is the bridge that connects theories in this field and applications. I...
详细信息
Model-checking is one of the most successful automatic verification techniques over the last 20 years, and the development of model-checking tools is the bridge that connects theories in this field and applications. In order to efficiently model-check value-passing current systems which involve non-trivial data structures. An extended symbolic transition graph with assignment (STGA) is introduced as the semantic model of concurrent systems, and a modal graph is used as the semantic model of logic formulae. And then following an on-the-fly algorithm, a prototype tool is implemented to model-check concurrent systems. In this paper model-checking is summarized by introducing non-trivial data structures into value-passing process specification language and STGA. A practical case is also presented to justify the tool's efficiency.
Topic detection technique can be used to detect news topics from a great amount of news stream, and help us organize and utilize news information according to their topics. A Chinese news topic detection system is des...
详细信息
Topic detection technique can be used to detect news topics from a great amount of news stream, and help us organize and utilize news information according to their topics. A Chinese news topic detection system is designed and tested by using the improved time window strategy and adopting the self-adaptive inverse document frequency. It is then indicated that the proposed system is effective. The application of the system in the data center of XinHua Net further illustrates that the system meet the application demands well.
This paper proposes a new queuing management and scheduling mechanism for VoIP queues, which coordinate RED and a scheduling algorithm of advisedly dropping packets. Simulation results show that the mechanism enables ...
详细信息
This paper proposes a new queuing management and scheduling mechanism for VoIP queues, which coordinate RED and a scheduling algorithm of advisedly dropping packets. Simulation results show that the mechanism enables some improvement of the performance of packet forwarding effectively during network congestions comp.red to RED and FIFO scheduling. VoIP quality measurements verify its feasibility and effectiveness.
The high incidence of brain disease, especially brain tumor, has increased significantly in recent years. It is becoming more and more concernful to discover knowledge through mining medical brain image to aid doctors...
详细信息
The high incidence of brain disease, especially brain tumor, has increased significantly in recent years. It is becoming more and more concernful to discover knowledge through mining medical brain image to aid doctors' diagnosis. Image mining is the important branch of data mining. It is more than just an extension of data mining to image domain but an interdisci.linary endeavor. Image clustering and similarity retrieval are two basilic parts of image mining. In this paper, we introduce a notion of image sequence similarity patterns (ISSP) for medical image database. ISSP refer to the longest similar and continuous sub-patterns hidden in two objects each of which contains an image sequence. These patterns are significant in medical images because the similarity for two medical images is not important, but rather, it is the similarity of objects each of which has an image sequence that is meaningful. We design the new algorithms with the guidance of the domain knowledge to discover the possible space occupying (PSO) in brain images and ISSP for similarity retrieval. The experimental results demonstrate that the results of similarity retrieval are meaningful and interesting to medical doctors.
暂无评论