ppxscal/embedding_network huggingface dataset:
RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach
Authors: Saeed Jalili, Mehdi MirzaAghaei
Venue: Proceedings of the 5th ACIS International Conference on Software Engineering Research, Management & Applications (2007)

Conventional software Verification and Validation (V&V) approaches for real-time and reactive programs are not practical because applying formal methods is too complex and testing methods are incomplete. It seems runtime verification of programs is a novel approach as a compliment to testing methods. We use Event-based Real-time Logic (ERL) as a specification language in order to simply specify safety properties. By applying aspect-oriented approach to instrumentation, we integrate runtime verification module (i.e. Monitor) with program itself and minimize overhead of runtime verification too. Our proposed method, RVERL, consists of three phases. First, safety properties are extracted from program requirements specification. Second, properties are mapped to timing, functional and deadline aspects which constitute the Monitor. Then it is weaved to the program source code. Third, at the execution time, the Monitor as a wrapper observes program behavior and protects the program against its misbehavior (i.e., property violations). Experiments on Rail Road Crossing problem show that the RVERL reveals all property violations while overhead of runtime verification is just about 4 percent.
Graphical drawings on web browsers using AJAX techniques
Authors: Noritaka Osawa, Kikuo Asai
Venue: Proceedings of the sixth conference on IASTED International Conference Web-Based Education - Volume 2 (2007)

We developed a prototype system for graphical drawings on Web browsers using Asynchronous JavaScript and XML (AJAX) techniques. The system allows multiple participants to share multiple pointers and to simultaneously add graphical drawings onto a Web page. All the participants can see all telepointers and graphical drawings in real-time. They only need a normal Web browser and installation of special software such as plugins is not required to share the telepointers and graphical drawings. Since the Web browser communicates with a server through conventional HyperText Transfer Protocol (HTTP) connections, telepointers and graphical drawings can be widely shared without communications being prevented by network firewalls. Various methods of optimization are also discussed in the paper.
Determining factors of academic library Web site usage
Authors: John H. Heinrichs, Kee-Sook Lim, Jeen-Su Lim, Melissa Allen Spangenberg
Venue: Journal of the American Society for Information Science and Technology (2007)

This study develops three alternative models of academic library Web site usage based on the Technology Acceptance Model (TAM). The three alternative models depict relationships among various intrinsic and extrinsic determinant factors of an academic library's Web site usage. The four factors included in the models are perceived ease-of-use, perceived usefulness, service functionality, and task functionality. These four factors are hypothesized to affect directly or indirectly both factors of satisfaction and intention-to-use. LISREL analysis using survey data shows that the best-fit model is the &ldquo;Dual Mediation Impact&rdquo; Model. Research and managerial implications for the academic library are discussed. Future research directions and limitations also are provided. &copy; 2007 Wiley Periodicals, Inc.
Classification for a class of second-order singular equations on time scales
Authors: Chao Zhang, Lianghong Zhang
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 03 (2007)

This paper is concerned with classification for a class of second-order singular equations on time scales. Firstly, we construct a sequence of circles. These circles are nested and converge to a limiting set. By the different cases of the limiting set, we can obtain the number of linearly independent square delta-integrable solutions of the equations. It follows from this number, we divide equations into two cases: limit point and limit circle cases.
Verification and Prototype Implementation of Fuzzy Self-Organization Decision Algorithm for UTCS
Authors: Gaoshou Zhai, Jianzhong Cha
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 02 (2007)

Urban traffic control system (UTCS) is a kind of large-scale complex systems. As to such systems, it's very important to provide functions of dynamic self- organization decision in the higher layer so that multiple control patterns and multiple control modes can be selected and utilized rightly at different locations and different moments. In this paper, an algorithm of dynamic self-organization decision for UTCS based on structural model of signal networks, which is depicted by fuzzy adjacent matrix, is presented. Moreover, balance of signal cycles is considered and used to improve the algorithmic performance and its rationality is verified from theoretical view. In addition, a prototype is implemented in VC++ 6.0 environment, tested over a typical signalized traffic network, and elementary results are summarized. Finally, conclusion is brought that it is a good choice to adopt dynamic self- organization decision based on fuzzy structural model and fuzzy algorithm in large complex control systems.
Throughput Performance of Marine STDMA Ad-hoc Network
Authors: Huafeng Wu, Haiguang Chen, Qiang Zhou, Chuanshan Gao
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

The Spatial reuse Time Division Multiple Access (STDMA) ad hoc network got applied in the marine navigation realm. The resulted system, Automatic Identification System (AIS), has been extensively used in marine industry. It well serves the surveillance and communication purposes for marine navigation, and makes a great improvement on marine technology. Throughput is an important measure to such a surveillance and communication system, especially with the rapid increase of the amount of ships and their speed. In this paper, we firstly find out the influence factors of throughput through analysis of the system's basic principle. Through simulation, we simulate and analyze how these factors impact the throughput performance. Finally, we simply propose some suggestions for improving it within different environment.
DECLARE: Full Support for Loosely-Structured Processes
Authors: Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst
Venue: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (2007)

Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured pro- cesses. Furthermore, flexibility in contemporary WFMSs usually comes at a certain cost, such as lack of support for users, lack of methods for model analysis, lack of methods for analysis of past executions, etc. DECLARE is a proto- type of a WFMS that uses a constraint-based process mod- eling language for the development of declarative models describing loosely-structured processes. In this paper we show how DECLARE can support loosely-structured pro- cesses without sacrificing important WFMSs features like user support, model verification, analysis of past execu- tions, changing models at run-time, etc.
New Products
Authors: C. Machover
Venue: IEEE Computer Graphics and Applications (1981)

The HP2623A, Hewlett-Packard's lowestpriced graphics terminal, features a highresolution display and an optional built-in graphics printer. The terminal Is suitable for both business and technical display graphics, as well as some design applications. 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
Piet: a GIS-OLAP implementation
Authors: Ariel Escribano, Leticia Gomez, Bart Kuijpers, Alejandro A. Vaisman
Venue: Proceedings of the ACM tenth international workshop on Data warehousing and OLAP (2007)

Data aggregation in Geographic Information Systems (GIS) is a desirable feature, although only marginally present in commercial systems, which also fail to provide integration between GIS and OLAP (On Line Analytical Processing). With this in mind, we have developed Piet, a system that makes use of a novel query processing technique: first, a process called sub-polygonization decomposes each thematic layer in a GIS, into open convex polygons; then, another process computes and stores in a database the overlay of those layers for later use by a query processor. We describe the implementation of Piet, and provide experimental evidence that overlay precomputation can outperform GIS systems that employ indexing schemes based on R-trees.
Proceedings of the 2007 ACM workshop on Digital Rights Management
Venue: ACM Workshop On Digital Rights Management (2007)

The ACM Workshop on Digital Rights Management is an international forum that serves as an interdisciplinary bridge between the areas that can be applied to solving the problem of Intellectual Property protection of digital content. These include Cryptography, Economics and Game Theory, Information Theory, Intellectual Property Law, Signal Processing, Trusted Computing and Software and Systems Design. Its purpose is to bring together researchers from the above fields for a full day of formal talks and informal discussions, covering new results that will spur new investigations regarding the foundations and practices of DRM. This year's workshop, the seventh in the series, continued this tradition. As in the previous years it was sponsored by ACM SIGSAC and was held in conjunction with the ACM Conference in Computer and Communications Security (CCS). This volume contains the proceedings of the workshop and is a good representation of the diverse areas of research endeavor that relate to the DRM problem. The workshop received 28 submissions out of which 10 were accepted for presentation after a rigorous refereeing process. This year we had the pleasure to have as part of the program an invited talk by Andrew Odlyzko of the University of Minnesota. His timely presentation cast the DRM problem on Economics, pointed at new directions for research and discussed the role of the field at a time that the ways DRM is advocated for use by the industry receive criticism as being prohibitive to creative human collaboration and interaction.
Asymptotic distribution of the OLS estimator for a purely autoregressive spatial model
Authors: Kairat T. Mynbaev, Aman Ullah
Venue: Journal of Multivariate Analysis (2008)

We derive the asymptotics of the OLS estimator for a purely autoregressive spatial model. Only low-level conditions are used. As the sample size increases, the spatial matrix is assumed to approach a square-integrable function on the square (0,1)^2. The asymptotic distribution is a ratio of two infinite linear combinations of @g^2 variables. The formula involves eigenvalues of an integral operator associated with the function approached by the spatial matrices. Under the conditions imposed identification conditions for the maximum likelihood method and method of moments fail. A corrective two-step procedure using the OLS estimator is proposed.
Adaptive kernel estimation and SPH tensile instability
Authors: Leonardo Di G. Sigalotti, Hender López
Venue: Computers Mathematics with Applications (2008)

We propose an alternative method to remove the tensile instability in standard SPH simulations of a fluid. The method relies on an adaptive density kernel estimation (ADKE) algorithm, which allows the width of the kernel interpolant to vary locally in such a way that only the minimum necessary smoothing is applied to the data. By means of a linear perturbation analysis of the SPH equations for a heat-conducting, viscous, van der Waals fluid, we derive the corresponding dispersion relation. Solution of the dispersion relation in the short wavelength limit shows that the tensile instability is effectively removed for a wide range of the ADKE parameters. Application of the method to the formation of equilibrium liquid drops confirms the analytical results of the linear stability analysis. Examples of the resolving power of the method are also given for the nonlinear oscillations of an excited drop and the Sedov blast wave problem.
A fuzzy PIC multiuser detection&#x002F;vector channel estimation scheme in Rayleigh fading channels
Authors: Shu-Ming Tseng
Venue: International Journal of Communication Systems (2007)

We propose a fuzzy parallel interference cancellation (PIC) multiuser detection&#x002F;vector channel estimation (VCE) scheme in Rayleigh fading channels. The VCE is based on a first-order auto-regressive model and an expectation-maximization algorithm. The signal-to-interference ratio and signal-to-noise ratio are estimated from the vector channel model's parameters, and we adapt the weight of each interference cancellation path via fuzzy inference mechanism. The proposed fuzzy PIC and VCE cooperate in a way such that some of the fuzzy PIC input parameters come from the channel predictor and the fuzzy PIC makes the channel predictor be more accurate at the next PIC stage. Computing weights via fuzzy adaptive method adds insignificant complexity because it involves only table lookup. The simulation results show that the proposed fuzzy PIC&#x002F;VCE scheme performs better than the improved PIC&#x002F;vector channel estimation scheme with optimal parameter in fast-varying Rayleigh fading channels. Copyright &copy; 2007 John Wiley & Sons, Ltd.
Cellular Synthesis of Synchronous Sequential Machines
Authors: S. C. Hu
Venue: IEEE Transactions on Computers (1972)

A method of synthesizing sequential machines using identical cells arranged in arrays is described. The array is connected in a regular pattern and can be designed to include features such as redundancy and programmability. Minimal synthesis is also discussed.
Methods for Fine Registration of Cadastre Graphs to Images
Authors: Roger Trias-Sanz, Marc Pierrot-Deseilligny, Jean Louchet, Georges Stamon
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2007)

We propose two algorithms to match edges in a geometrically-imprecise graph to geometrically-precise strong boundaries in an image, where the graph is meant to give an a priori partition of the image into objects. This can be used to partition an image into objects described by imprecise external data, and thus to simplify the segmentation problem. We apply them to the problem of registering cadastre data to georeferenced aerial images, thus correcting the lack of geometrical detail of the cadastre data, and the fact that cadastre data gives information of a different nature than that found in images -- fiscal information as opposed to actual land use.
Improved Reversible Mapping from Color to Gray
Authors: Ricardo L. de Queiroz
Venue: Proceedings of the XX Brazilian Symposium on Computer Graphics and Image Processing (2007)

In the reversible conversion of color images to gray ones, colors are mapped to textures and from the textures the receiver can recover the colors, i.e. one may print a color image with a black and white printer and, at a later time, recover colors. Such a method was originally devised using the wavelet transform and replacing high-frequency subbands by subsampled chrominance planes. Here, we propose to improve the original method through the use of a largely redundant representation of the chrominance, with multiple embedding into subbands of a general subband transform. Our results point to minimization of the variance of the error caused by noise when the chrominance is replicated into many subbands and not linearly combined. Deprived noise bounds guide us on how many subbands to embed the chrominance. Experimental results were carried for multiple noise levels, models, transform sizes, and number of embedding subbands, demonstrating the theoretical analysis and the method's potential.
Three-Dimensional and Stereoscopic Graphics for Scientific Data Display and Analysis
Authors: Stanley Grotch
Venue: IEEE Computer Graphics and Applications (1983)

Many scientists and technicians rarely venture beyond 2-D plots in their computer graphics. Since an additional dimension is so helpful¿and accessible¿3-D should be exploited. 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
Virtual box: supporting mediated family intimacy through virtual and physical play
Authors: Hilary Davis, Mikael B. Skov, Malthe Stougaard, Frank Vetere
Venue: Proceedings of the 19th Australasian conference on Computer-Human Interaction: Entertaining User Interfaces (2007)

Mediated intimacy is the phenomenon where humans use technologies to express, share, or communicate intimate feelings with each other. Typically, technologies supporting mediated intimacy encompass different characteristics than technologies designed to solve specific work-oriented tasks. This paper reports on the design, implementation and initial evaluation of Virtual Box. Virtual Box attempts to create a physical and engaging context in order to support reciprocal interactions with expressive content. An implemented version of Virtual Box is evaluated in a location-aware environment to evaluate the design ideas according to mediated family intimacy.
Incorporating quality aspects in sensor data streams
Authors: Anja Klein
Venue: Proceedings of the ACM first Ph.D. workshop in CIKM (2007)

Sensors are increasingly embedded into physical products in order to capture data about their conditions and usage for decision making in business applications. However, a major issue for such applications is the limited quality of the captured data due to inherently restricted precision and performance of the sensors. Moreover, the data quality is further decreased by data processing to meet resource constraints in streaming environments and ultimately influences business decisions. The issue of how to efficiently provide applications with information about data quality (DQ) is still an open research problem. In my Ph.D. thesis, I address this problem by developing a system to provide business applications with accurate information on data quality. Furthermore, the system will be able to incorporate and guarantee user-defined data quality levels. In this paper, I will present the major results from my research so far. This includes a novel jumping-window-based approach for the efficient transfer of data quality information as well as a flexible metamodel for storage and propagation of data quality. The comprehensive analysis of common data processing operators w.r.t. their impact on data quality allows a fruitful knowledge evaluation and thus diminishes incorrect business decisions.
Harnessing Language in Mobile Environments
Authors: Boriz Katz, Gary Borchardt, Sue Felshin, Federico Mora
Venue: Proceedings of the International Conference on Semantic Computing (2007)

We describe StartMobile, a prototype system that enables users of cellular telephones and other mobile devices to access information, create information and execute commands on the basis of written requests expressed in natural language. Interacting with mobile devices through the use of language offers several potential benefits that include: scalability in handling huge numbers of concepts and operations, substantial device-independence, and opportunities for remote interaction. StartMobile uses the START information access system to perform initial interpretation of requests and to generate responses to general information requests. Requests that require further interpretation and/or fulfillment in the distributed mobile environment are encoded in a new, language-based intermediate representation called Moebius, then conveyed to appropriate devices and systems, where special-purpose software serves to complete the interpretation and fulfillment of those requests.
Binarization and cleanup of handwritten text from carbon copy medical form images
Authors: Robert Milewski, Venu Govindaraju
Venue: Pattern Recognition (2008)

This paper presents a methodology for separating handwritten foreground pixels, from background pixels, in carbon copied medical forms. Comparisons between prior and proposed techniques are illustrated. This study involves the analysis of the New York State (NYS) Department of Health (DoH) Pre-Hospital Care Report (PCR) [Western Regional Emergency Medical Services, Bureau of Emergency Medical Services, New York State (NYS) Department of Health (DoH), Prehospital Care Report v4.] which is a standard form used in New York by all Basic and Advanced Life Support pre-hospital health care professionals to document patient status in the emergency environment. The forms suffer from extreme carbon mesh noise, varying handwriting pressure sensitivity issues, and smudging which are further complicated by the writing environment. Extraction of handwriting from these medical forms is a vital step in automating emergency medical health surveillance systems.
A dynamic birthmark for java
Authors: David Schuler, Valentin Dallmeier, Christian Lindig
Venue: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007)

Code theft is a threat for companies that consider code asa core asset. A birthmark can help them to prove codetheft by identifying intrinsic properties of a program. Twoprograms with the same birthmark are likely to share a com-mon origin. Birthmarking works in particular for code thatwas not protected by tamper-resistant copyright notices thatotherwise could prove ownership.We propose a dynamic birthmark for Java that observes howa program uses objects provided by the Java Standard API.Such a birthmark is difficult to foil because it captures the observable semantics of a program. In an evaluation, ourAPI Birthmark reliably identified XML parsers and PNGreaders before and after obfuscating them with state-of-the-art obfuscation tools. These rendered existing birthmarksineffective, such as the Whole-Program-Path Birthmark byMyles and Collberg
An ontology-based case matching technique
Authors: Tawin Tanawong, Suphamit Chittayasothorn
Venue: Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology (2007)

Case-based reasoning is an artificial intelligence technique that refers to past experiences (cases) to help making decisions or taking actions. An important part of case based reasoning is case matching. Previous cases which are similar to a current given case are matched and retrieved. This paper presents a case matching technique that transforms input surface structure sentences into deep-structure sentences which can be represented by fact types of a conceptual schema model. Each entity type that is involved in a fact type is further described by ontology. The matching result of the proposed technique is compared with those of other classical technique. Better similarity of the case matching is found.