ppxscal/embedding_network huggingface dataset:
Analysis of Anonymity on the Signatures of Knowledge
Authors: Xinguang Zou, Shenghe Sun
Venue: Proceedings of the 2006 International Conference on Intelligent Information Hiding and Multimedia (2006)

The anonymity is the most important property of group signature schemes. Traditional schemes suppose that a signer is reluctant to leak his identity to a verifier. In some real scenarios, this supposition does not hold. A signer may want to cooperate with a verifier secretly to achieve special interests. So the verifier needs to identify the signer's signature among all the signatures he received. Among all the building blocks of group signature schemes, the Camenisch's signatures of knowledge are most widely used and their security is critical to group signature schemes. Unfortunately, the Simmons's type I subliminal channel is found in all the signatures of knowledge introduced by Camenisch in [1]. To evaluate the real security of group signature, the concept of strong anonymity is proposed and all the Camenisch's signature of knowledge are found unsatisfied with the requirement of strong anonymity.
On the Execution of ODP Computational Specifications
Authors: Jose Raul Romero, Antonio Vallecillo
Venue: Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops (2006)

The ODP computational viewpoint allows the description of the functional decomposition of a system and its environment in terms of configurations of objects that interact at interfaces. RM-ODP does not prescribe any concrete notation for describing this viewpoint, which hinders the development and use of tools for writing, analyzing and executing ODP computational specifications. Thus, several authors have proposed either formal or visual languages to describe this ODP viewpoint. However, the former notations are complex and lack industrial support, while the latter do not count with proper tools for executing and analyzing the specification produced. In this paper, we explore the use of model transformation techniques to establish a connection between UML models and Maude formal specifications of the ODP computational viewpoint, in order to obtain the best of both worlds.
Revocation techniques for Java concurrency: Research Articles
Authors: Adam Welc, Suresh Jagannathan, Antony L. Hosking
Venue: Concurrency and Computation: Practice Experience (2006)

This paper proposes two approaches to managing concurrency in Java using a guarded region abstraction. Both approaches use revocation of such regions&mdash;the ability to undo their effects automatically and transparently. These new techniques alleviate many of the constraints that inhibit construction of transparently scalable and robust concurrent applications. The first solution, revocable monitors, augments existing mutual exclusion monitors with the ability to dynamically resolve priority inversion and deadlock, by reverting program execution to a consistent state when such situations are detected, while preserving Java semantics. The second technique, transactional monitors, extends the functionality of revocable monitors by implementing guarded regions as lightweight transactions that can be executed concurrently (or in parallel on multiprocessor platforms). The presentation includes discussion of design and implementation issues for both schemes, as well as a detailed performance study to compare their behavior with the traditional, state-of-the-art implementation of Java monitors based on mutual exclusion. Copyright &copy; 2006 John Wiley & Sons, Ltd.
An Improved Semantic Search Model Based on Hybrid Fuzzy Description Logic
Authors: Ruixuan Li, Kunmei Wen, Zhengding Lu, Xiaolin Sun, Zhigang Wang
Venue: Proceedings of the Japan-China Joint Workshop on Frontier of Computer Science and Technology (2006)

We propose an improved semantic search model through integrating inference and information retrieval (IR) based on hybrid fuzzy description logic (DL) and implement it in security domain. A type-2 fuzzy DL is described and employed in the semantic search model. The proposed model is a hybrid one which combines type-1 fuzzy DL and type-2 fuzzy DL. It can not only search the resources according to the trust degree rules based on type-2 fuzzy DL, but also locate the exact resource using IR based on type-1 fuzzy DL. The complete model provides trust degree management to extend the search capabilities. In addition, we build a security ontology based on rolebased access control (RBAC) policy. A semantic search system, Onto-SSSE, is implemented based on the basic model. The system can perform queries based on ontology reasoning. The experimental results show that the new system performs better than exiting schemes.
Optimization of integrated Earth System Model components using Grid-enabled data management and computation: Research Articles
Authors: A. R. Price, G. Xue, A. Yool, D. J. Lunt, P. J. Valdes, T. M. Lenton, J. L. Wason, G. E. Pound, S. J. Cox
Venue: Concurrency and Computation: Practice Experience (2007)

In this paper, we present the Grid enabled data management system that has been deployed for the Grid ENabled Integrated Earth system model (GENIE) project. The database system is an augmented version of the Geodise Database Toolbox and provides a repository for scripts, binaries and output data in the GENIE framework. By exploiting the functionality available in the Geodise toolboxes we demonstrate how the database can be employed to tune parameters of coupled GENIE Earth System Model components to improve their match with observational data. A Matlab client provides a common environment for the project Virtual Organization and allows the scripting of bespoke tuning studies that can exploit multiple heterogeneous computational resources. We present the results of a number of tuning exercises performed on GENIE model components using multi-dimensional optimization methods. In particular, we find that it is possible to successfully tune models with up to 30 free parameters using Kriging and Genetic Algorithm methods. Copyright &copy; 2006 John Wiley & Sons, Ltd.
Making a Long Video Short: Dynamic Video Synopsis
Authors: Alex Rav-Acha, Yael Pritch, Shmuel Peleg
Venue: Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Volume 1 (2006)

The power of video over still images is the ability to represent dynamic activities. But video browsing and retrieval are inconvenient due to inherent spatio-temporal redundancies, where some time intervals may have no activity, or have activities that occur in a small image region. Video synopsis aims to provide a compact video representation, while preserving the essential activities of the original video. We present dynamic video synopsis, where most of the activity in the video is condensed by simultaneously showing several actions, even when they originally occurred at different times. For example, we can create a "stroboscopic movie", where multiple dynamic instances of a moving object are played simultaneously. This is an extension of the still stroboscopic picture. Previous approaches for video abstraction addressed mostly the temporal redundancy by selecting representative key-frames or time intervals. In dynamic video synopsis the activity is shifted into a significantly shorter period, in which the activity is much denser. Video examples can be found online in http://www.vision.huji.ac.il/synopsis
VIP protection simulation of imaging in concrete realizing the Lagrangian deformable tensor software (LDTS) protocol for homeland defense and security
Authors: Carol Ann Niznik
Venue: Proceedings of the 36th conference on Winter simulation (2004)

Each VIP Protection simulation case study of imaging in concrete requires the clock timed catastrophe theory gateway networking software linkage between the Global Information Grid(GIG), i.e., the CIA Simulation facility, and the Lagrangian Deformable Tensor Software(LDTS) Protocol hardware sensors, detecting the motion in explosive containers within concrete. The queer differential equation in the LDTS Protocol, an astrophysics theoretical tool, can be optimized with respect to delay, weight, motion and perturbation sensitivity. The object oriented code for the LDTS Protocol is comprised of three sections for the Lagrangian Deformable Tensor within the top section of the Geometric Asscher Cut Structure(GACS). The four isosceles triangles on top of the GACS, represent the perturbation sensitivity, game theory, image processing and delay optimization parameters. The equilateral triangles at the center of the top of the GACS are fractal models for iterated function system characteristics. The Threshold Stabilization within the bottom of the GACS realizes the theory of games to allow stabilization of the sections where the explosives were detected by imaging in concrete sensors prior to attempts to detonate the explosives. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
A QA cycle for teaching programming. A mechanism for automatically posing questions corresponding to learner's skill
Authors: Hideki Nakajima, Naohisa Takahashi, Yoshihide Hosokawa
Venue: Systems and Computers in Japan (2007)

This paper proposes a QA cycle execution system for programming education matched to the learner's skill. The proposed system has the following features. (1) The language describing the QA cycle (EDML: Exercise Design Markup Language) is created. EDML is a language with the following functions. Various questions with the same difficulty and different content can be automatically generated. The answer evaluation environment and the selection of questions matched to the skill are described in a unified text for iterative learning matched to the learner's skill. (2) A method is established in which a learning system can easily be constructed by using an existing mail system. With the proposed approach, a remote learning system can be created without implementing functions for network security, generation of temporary logs, or program buffering in case of overload, which are essential elements of a remote learning system. This paper also describes the construction of a prototype of the proposed system. The proposed system was applied to a Pascal programming course for college freshman, and the results are described herein. &copy; 2006 Wiley Periodicals, Inc. Syst Comp Jpn, 38(1): 28&ndash;40, 2007; Published online in Wiley InterScience (). DOI 10.1002&sol;scj.20471
How to Automatically and Accurately Sandbox Microsoft IIS
Authors: Wei Li, Lap-chung Lam, Tzi-cker Chiueh
Venue: Proceedings of the 22nd Annual Computer Security Applications Conference (2006)

Comparing the system call sequence of a network application against a sandboxing policy is a popular approach to detecting control-hijacking attack, in which the attacker exploits such software vulnerabilities as buffer overflow to take over the control of a victim application and possibly the underlying machine. The long-standing technical barrier to the acceptance of this system call monitoring approach is how to derive accurate sandboxing policies for Windows applications whose source code is unavailable. In fact, many commercial computer security companies take advantage of this fact and fashion a business model in which their users have to pay a subscription fee to receive periodic updates on the application sandboxing policies, much like anti-virus signatures. This paper describes the design, implementation and evaluation of a sandboxing system called BASS1 that can automatically extract a highly accurate application-specific sandboxing policy from a Win32/X86 binary, and enforce the extracted policy at run time with low performance overhead. BASS is built on a binary interpretation and analysis infrastructure called BIRD, which can handle application binaries with dynamically linked libraries, exception handlers and multi-threading, and has been shown to work correctly for a large number of commercially distributed Windows-based network applications, including IIS and Apache. The throughput and latency penalty of BASS for all the applications we have tested except one is under 8%.
Collateral Representative Subspace Projection Modeling for Supervised Classification
Authors: Thiago Quirino, Zongxing Xie, Mei-Ling Shyu, Shu-Ching Chen, LiWu Chang
Venue: Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (2006)

In this paper, a novel supervised classification approach called Collateral Representative Subspace Projection Modeling (C-RSPM) is presented. C-RSPM facilitates schemes for collateral class modeling, class-ambiguity solving, and classification, resulting a multi-class supervised classifier with high detection rate and various operational benefits including low training and classification times and low processing power and memory requirements. In addition, CRSPM is capable of adaptively selecting nonconsecutive principal dimensions from the statistical information of the training data set to achieve an accurate modeling of a representative subspace. Experimental results have shown that the proposed C-RSPM approach outperforms other supervised classification methods such as SIMCA, C4.5 decision tree, Decision Table (DT), Nearest Neighbor (NN), KNN, Support Vector Machine (SVM), 1-NN Best Warping Window DTW, 1-NN DTW with no Warping Window, and the well-known classifier boosting method AdaBoost with SVM.
Scalability Management in Sensor-Network PhenomenaBases
Authors: M. H. Ali, Walid G. Aref, Ibrahim Kamel
Venue: Proceedings of the 18th International Conference on Scientific and Statistical Database Management (2006)

A phenomenon appears in a sensor network when a group of sensors persist to generate similar behavior over a period of time. PhenomenaBases (or databases of phenomena) are equipped with Phenomena Detection and Tracking (PDT) techniques that continuously run in the background of a sensor database system to detect new phenomena and to track already existing phenomena. The process of phenomena detection and tracking is initiated by a multi-way join operator that comes at the core of PDT techniques to report similar sensor readings. With the increase in the sensor network size, the join operator (and, consequently, query processing in the PhenomenaBase) face several scalability challenges. In this paper, we present a join operator for PhenomenaBases (the SNJoin operator) that is specially-designed for dynamically-configured large-scale sensor networks with distributed processing capabilities. Experimental studies illustrate the scalability of the proposed join operator in PhenomenaBases with respect to the number of detected phenomena and the output delay.
A Service-Oriented Integrating Practice for Data Modeling, Analysis and Visualization
Authors: Dan Cheng, Zhibin Mai, Jianjia Wu, Guan Qin, Wei Zhao
Venue: Proceedings of the IEEE International Conference on e-Business Engineering (2006)

Many large-scale scientific computing projects share a data archive and retrieval requirement, a call to perform customized modeling tasks, and a need to visualize data in a geospatially referenced manner. Today, researchers generally design and procure hardware and software to provide the above services for each individual project. The rocketing cost of duplicate development and implementation, and the difficulty to collaborate due to the lack of standardization for working process and data format often leave something to be desired. This paper presents a service-oriented architecture for integrating software and hardware resources in a unified manner in order to deliver highly reconfigurable, on-demand customized scientific computing tasks. A practical system has been developed to evaluate the proposed architecture.
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
Authors: Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Raffaele Rizzi
Venue: Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet (2006)

This paper presents a visual application in the framework of semantic-enabled e-marketplaces aimed at fully exploiting semantics of supply/demand descriptions in B2C and C2C e-marketplaces. Distinguishing aspects of the framework include logic-based explanation of request results, semantic ranking of matchmaking results, logic-based request refinement. The visual user interface has been designed and implemented to be immediate and simple, and it requires no knowledge of any logic principle to be fully used.
Systematic formation of reading comprehension in visually impaired children
Authors: Kosonen Kari, Hakkarainen Kai
Venue: Proceedings of the 7th international conference on Learning sciences (2006)

The focus on the present work-in-progress was to develop and test intervention method for facilitation of reading comprehension by blind teenagers. The study relied Vygotsky's theory of internalization, and specifically on Piotr Gal'perin's theory of stepwise formation of mental actions. The participants were helped to generate what Gal'perin called the 'orienting basis' (abstract representation) through providing them with a external physical model to structure the their comprehension activities. Theory and methods are described and results of the first case study provided.
Social Agents to Improve Collaboration on an Educational Portal
Authors: Elisa Boff, Elder Rizzon Santos, Rosa Maria Vicari
Venue: Proceedings of the Sixth IEEE International Conference on Advanced Learning Technologies (2006)

Cooperative learning is changing the learning environments design. Intelligent Tutoring Systems, Multi-agent Systems, Affective Computing and Virtual Characters, are techniques and resources to improve the individual and personalized learning. In this research direction, this paper presents a Socio- Affective Agent whose reasoning is based on individual aspects of the student, as affective states, personality and acceptance, and group aspects, as cohesion. This socio-affective agent is being integrated in the AMPLIA environment, an Intelligent Probabilistic Multi-agent Environment to support the diagnostic reasoning development and the diagnostic hypotheses modeling of domains with complex and uncertain knowledge, like medical area. In order to provide semantic interoperability between the environment's agents we are using an OWL (Web Ontology Language).
Positive technological development: a systems approach to understanding youth development and educational technology
Authors: Clement Chau, Marina Bers
Venue: Proceedings of the 7th international conference on Learning sciences (2006)

Youth development is multifaceted. While educational researchers have paid attention to one or few of these foci, it is imperative to understand how our technologies influence the various facets of youth development. We developed the Positive Technological Development research model to detail the overall impact of a technology on youth. We present a study describing how the PTD model illustrates the impact of an educational technology, while illuminating design areas that need to be revised.
Behavior-Based Web Page Evaluation
Authors: Ganesan Velayathan, Seiji Yamada
Venue: Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology (2006)

This paper describes our efforts to investigate factors in a user's browsing behavior to help automatically evaluate web pages that the user shows interest in. To evaluate a web page automatically, we have developed a client-side logging/analyzing tool: the GINIS Framework. We do not focus on clicking, scrolling, navigation, or duration of visit alone, but we propose integrating these patterns of interaction to recognize and evaluate a user's response to a given web page. Unlike most previous web studies that have analyzed access seen at proxies or server, this work focuses primarily on client site user behavior using a customized web browser. First, GINIS unobtrusively gathers logs of user behavior through the user's natural interaction with the web browser. Then it analyses the logs and extracts effective rules to evaluate web pages using a machine-learning method. Eventually, GINIS will be able to automatically evaluate web pages using these learned rules, after which the evaluation can be utilized in a variety of user profiling.
Adaptive time-varying parametric modeling
Authors: A. Akan, L. F. Chaparro
Venue: Proceedings of the Acoustics, Speech, and Signal Processing,1994. on IEEE International Conference - Volume 04 (1994)

We propose an adaptive procedure to model non-stationary signals using autoregressive systems with time-varying parameters. A non-stationary signal that is representable by a time-varying autoregressive system has parameters which are expandable in terms of a set of basis functions. The parameters can be found by posing a minimum least-squares modeling problem and solving a large set of normal equations. The costly calculations involved in this problem make an adaptive solution quite desirable. Using the parameter expansions, we convert the modeling into a linear prediction problem and solve it adaptively for a given set of basis functions. We apply our procedure in the modeling of a segment of speech and in the estimation of the evolutionary spectrum of a non-stationary signal.
Measurement of Functional Auditory Intelligence in Humans
Authors: Di Miao, Shuoyu Wang
Venue: Proceedings of the First International Conference on Innovative Computing, Information and Control - Volume 2 (2006)

The human auditory system possesses intelligence characteristics such as the ability to extract information from multiple voice signals, and these characteristics correlate with brain function. If the relation between auditory intelligence and brain status can be identified, it will be possible to evaluate brain status according to auditory intelligence. At present there are no integrated measurement and evaluation standards for auditory intelligence. We present a method for the measurement of auditory intelligence based on discontinuous audio signals.