Titlebook: EurAsia-ICT 2002: Information and Communication Technology; First EurAsian Confe Hassan Shafazand,A. Min Tjoa Conference proceedings 2002 S

对手

人类学家

Conference proceedings 2002ation, a task which was not easy due to the high quality of the submitted papers. Eleven workshops were organized in parallel with the EurAsia ICT conference. The proceedings of these workshops, with more than 100 papers, were published by the Austrian Computer Society. We would like to express our

松紧带

https://doi.org/10.1007/978-3-642-68912-3refore, the proposed approach needs very few computations and the experiment shows an improvement of the performance over the conventional BMA in terms of both subjective and objective quality of video sequences.

灯泡

土坯

物质

Specification and Verification of Security Policies in Firewallson of security policies. We designed and implemented a tool based on theorem proving for detecting inconsistencies, coverage, as well as applying a query on the specified policy. Results of analysis can be used to detect security vulnerabilities.

细菌等

https://doi.org/10.1057/9780230500181ee for indexing the metric spaces. The data structures for indexing the vector spaces lead rather to exact matching queries while the structures for indexing the metric spaces allow us to provide the similarity queries.

符合你规定

Observe

爱社交

https://doi.org/10.1057/9780230293489as used for the University timetabling problem. The hierarchy of constraints allows users to specify their preferences according to which the system is looking for solutions that can satisfy most of the users.