ppxscal/embedding_network huggingface dataset:
Avfs: an on-access anti-virus file system
Authors: Yevgeniy Miretskiy, Abhijith Das, Charles P. Wright, Erez Zadok
Venue: Proceedings of the 13th conference on USENIX Security Symposium - Volume 13 (2004)

Viruses and other malicious programs are an ever-increasing threat to current computer systems. They can cause serious damage and consume countless hours of system administrators' time to combat. Most current virus scanners perform scanning only when a file is opened, closed, or executed. Such scanners are inefficient because they scan more data than is needed. Worse, scanning on close may detect a virus after it had already been written to stable storage, opening a window for the virus to spread before detection. We developed Avfs, a true on-access anti-virus file system that incrementally scans files and prevents infected data from being committed to disk. Avfs is a stackable file system and therefore can add virus detection to any other file system: Ext3, NFS, etc. Avfs supports forensic modes that can prevent a virus from reaching the disk or automatically create versions of potentially infected files to allow safe recovery. Avfs can also quarantine infected files on disk and isolate them from user processes. Avfs is based on the open-source ClamAV scan engine, which we significantly enhanced for efficiency and scalability. Whereas ClamAV's performance degrades linearly with the number of signatures, our modified ClamAV scales logarithmically. Our Linux prototype demonstrates an overhead of less than 15% for normal user-like workloads.
The JPL/NASA Mars Pathfinder Mission as an engineering outreach program
Authors: K. Gramoll
Venue: Proceedings of the Frontiers in Education Conference, on 1995. Proceedings., 1995 - Volume 02 (1995)

Summary form only given. Educational outreach programs have become an important objective for many public organizations. These programs have been developed to educate the public, particularly High School students, about their organizations. NASA has been one of the strongest direct supporters on these programs through their Space Grant Consortium Grants and many fellowship programs. In addition to the large centrally coordinated outreach programs, NASA is also encouraging all individual research centers, such as the Jet Propulsion Lab (JPL), to operate outreach programs for each project. This paper looks at the outreach program in the School of Aerospace Engineering at Georgia Institute of Technology for the Mars Pathfinder Mission that has been in operation since May of 1994 and how it effects Aerospace Engineering. The main objective of the project is to instruct K-12 students in the Atlanta area about Aerospace Engineering and the JPL/NASA Pathfinder Project. A multimedia program has been developed, called SpaceGuide. The original goal of SpaceGuide was to liven up the seminars on the Mars Mission with sound, animations, and computer simulations. A second goal of the multimedia program was to leave something in the schools as a permanent source of information about the Mars Mission.
Development of statewide engineering Head Start program
Authors: H. A. Bruck
Venue: Proceedings of the 28th Annual Frontiers in Education - Volume 03 (1998)

The University of South Carolina is developing a 'Head Start' program for high school students who are interested in studying engineering. A delivery mechanism is presented for the Head Start program that uses available resources at the University of South Carolina. The delivery mechanism consists of training teachers to deliver the course material through a two-week summer workshop. The teachers' efforts are augmented by the participation of professional volunteers known as Engineering Resource Agents (ERAs). The content of the Head Start program is developed around course material from the university's "University 101E: An introduction to Engineering" (U101E) class. Additionally, the course involves students in several engineering contests to increase their practical understanding of engineering. Students also have the opportunity to make contact with university faculty and facilities giving them a physical connection with advanced engineering education environments.
Linux distributions well-known through unknown
Authors: Elizabeth O. Coolbaugh
Venue: Proceedings of the 3rd annual conference on Atlanta Linux Showcase - Volume 3 (1999)

The Linux operating system, spoken of so much recently, is composed of the Linux kernel, licensed under the GNU General Public License, and a great deal of additional software, licensed under a variety of "free/open source" licenses. Because it is freely available and redistributable, there is no one vendor from which the operating system is purchased. Instead, any person, organization or company can choose to develop and maintain a Linux "distribution", a specific set of software packages, bundled with the Linux kernel. Some people are unaware of just how numerous and diverse Linux distributions are. Others fear that the availability of multiple varieties of Linux will fracture the Linux market and keep vendors from choosing to support it. In this talk, we'll examine the breadth and diversity of Linux distributions, through well-known ones such as Red Hat, Slackware, Debian, etc., to over a hundred lesser known ones. We'll look at the reasons numerous distributions have come into being and how to choose between them. Then we'll finish up with a look at the advantages and disadvantages that the diversity of Linux distributions brings and what the Linux community is doing to control the disadvantages while enjoying the advantages.
Detection of cardiac arrhythmias using a damped exponential modeling algorithm
Authors: Szi-Wen Chen
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 03 (1996)

We describe a new approach for the discrimination among ventricular fibrillation (VF), ventricular tachycardia (VT) and superventricular tachycardia (SVT) based on a damped exponential (DE) modeling algorithm. Two features, dubbed energy fractional factor (EFF) and predominant frequency (PF), were derived from the DE model. Classification task is achieved by performing a two-stage process using the EFF and PF indicators. Tests conducted using 91 episodes drawn from the MIT-BIH database produced total predictive accuracy of (SVT,VF,VT)=(95%,96%,98%).
User-Recordable Non-Player Characters for Croquet
Authors: Mark P. McCahill, Liz Wendland, Peter Moore
Venue: Proceedings of the Fifth International Conference on Creating, Connecting and Collaborating through Computing (2007)

Visually rich, immersive multi-user environments are commonly used for entertainment and online socializing. However, growing attention is being given to education and simulations for training using these immersive "game-oriented" technologies. In this paper, we describe extensions to Croquet facilitating the recording and playback of avatar interactions in 3D multi-user spaces. Applications of recordable usercontrolled avatars include creation of Non-Player Characters (NPCs), and recording/playback of social interactions for education, such as foreign language instructional environments. By combining a set of usercontrolled avatar gestures with live and pre-recorded avatars in a 3D Croquet space, we can create a virtual laboratory for users to practice both language and the social gestures which go with the language - and then replay the actions to both analyze the interactions and try different viewpoints and roles.
Nonlinear feedback controllers and compensators: a state-dependent Riccati equation approach
Authors: H. T. Banks, B. M. Lewis, H. T. Tran
Venue: Computational Optimization and Applications (2007)

State-dependent Riccati equation (SDRE) techniques are rapidly emerging as general design and synthesis methods of nonlinear feedback controllers and estimators for a broad class of nonlinear regulator problems. In essence, the SDRE approach involves mimicking standard linear quadratic regulator (LQR) formulation for linear systems. In particular, the technique consists of using direct parameterization to bring the nonlinear system to a linear structure having state-dependent coefficient matrices. Theoretical advances have been made regarding the nonlinear regulator problem and the asymptotic stability properties of the system with full state feedback. However, there have not been any attempts at the theory regarding the asymptotic convergence of the estimator and the compensated system. This paper addresses these two issues as well as discussing numerical methods for approximating the solution to the SDRE. The Taylor series numerical methods works only for a certain class of systems, namely with constant control coefficient matrices, and only in small regions. The interpolation numerical method can be applied globally to a much larger class of systems. Examples will be provided to illustrate the effectiveness and potential of the SDRE technique for the design of nonlinear compensator-based feedback controllers.
Getting on Board the Enterprise Service Bus
Authors: Sixto Ortiz Jr.
Venue: Computer (2007)

To meet the challenge of getting diverse applications to work together, companies are focusing on using the enterprise service bus- middleware glue that holds a service-oriented architecture together and enables communication between Web-based enterprise applications.
Funding the perfect beast - venture capitalism, IP
Authors: Paul Everitt
Venue: Proceedings of the 3rd annual conference on Atlanta Linux Showcase - Volume 3 (1999)

This talk describes the relationship between Digital Creations, the company behind the Python-based Zope Web application server, and Verticality Investment Group, its first-round investor. Within a month of the investment, Verticality convinced the Digital Creations principals to release their Web application server as open-source. What business strategies supported this? What replaces intellectual property as the strategic asset? How did Digital Creations recast its business model for success?
Verification of Business Process Quality Constraints Based on Visual Process Patterns
Authors: Alexander Forster, Gregor Engels, Tim Schattkowsky, Ragnhild Van Der Straeten
Venue: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (2007)

Business processes usually have to consider certain constraints like domain specific and quality requirements. The automated formal verification of these constraints is desirable, but requires the user to provide an unambiguous formal specification. In particular since the notations for business process modeling are usually visual flow-oriented languages, the notational gap to the languages usually employed for the formal specification of constraints, e.g., temporal logic, is significant and hard to bridge. Thus, our approach relies on UML Activities as a single language for the specification of both business processes and the corresponding constraints. For the expression of such constraints, we have provided a process pattern definition language based on specialized Activities. In this paper, we describe how model checking can be employed for formal verification of business processes against such patterns. For this, we present an automated transformation of the business process and the corresponding patterns into a transition system and temporal logic, respectively.
Open Home Networks: The TEAHA Approach
Authors: Hylke W. van Dijk, Hans J. Scholten, Alvaro Tobalina, Victor Garcia Munoz, Stephane Milanini, Antonio Kung
Venue: Proceedings of the Sixth International Conference on Networking (2007)

The current trend for home appliances is networking. Although more and more of these appliances are networked, there is not a standard way of interaction, which restrains the development of services for in-home networks. The lack of standardisation is partly due to a legacy of business interests; white goods, audio video equipment, security, and personal digital appliances all have a different background and have different business models. Rather than profound standardisation we propose secure seamless interworking of technologies, applications, and business interests. In this paper we present an architecture which is embedded in legacy technology. Our approach combines known design patterns, augments existing technology, and facilitates so-called business clusters. Further, we discuss a prototype implementation that integrates as an example OSGI, ZIGBEE, and UPNP technology with CECED (white goods) business interests. The work reported in this paper has been executed in an international industrial project1: TEAHA.
The Dark Side of the Semantic Web
Authors: James Hendler
Venue: IEEE Intelligent Systems (2007)

Many of the exciting and important things that are happening with the Semantic Web come from the Web side rather than the AI side. So, to many AI researchers, this part of the technology is unknown and is thus the "dark side" of the Semantic Web.
A Point Process Describing the Component Sizes in the Critical Window of the Random Graph Evolution
Authors: Svante Janson, Joel Spencer
Venue: Combinatorics, Probability and Computing (2007)

We study a point process describing the asymptotic behaviour of sizes of the largest components of the random graph G(n, p) in the critical window, that is, for p = n−1 + λn−4/3, where λ is a fixed real number. In particular, we show that this point process has a surprising rigidity. Fluctuations in the large values will be balanced by opposite fluctuations in the small values such that the sum of the values larger than a small <inline-graphic xlink="xs03F5"/> (a scaled version of the number of vertices in components of size greater than εn2/3) is almost constant.
Multi-site Internet-based tele-cooperation
Authors: I. Elhajj, J. Tan, N. Xi, W. K. Fung, Y. H. Liu, T. Kaga, Y. Hasegawa, T. Fukuda
Venue: Integrated Computer-Aided Engineering (2002)

The e-world has added a new dimension to many of the traditional concepts in industrial applications and everyday life. Many words encountered nowadays are prefixed by the letter "e" to reflect their close relation to the electronic world. Therefore, it was not surprising when researchers and businesses started developing "e-services", which are simply services provided via the Internet. The use of robots has dramatically expanded the potential of e-services. Now individuals with particular expertise can perform highly accurate and fairly complicated tasks remotely via the Internet. However, this increase in the human reachability is faced by several obstacles. Reliable and efficient robot facilitated services via the Internet face several challenges. These range from human-computer interfacing and overcoming random time delay to task synchronization and human-robot interaction. These limitations intensify when multi-operators in multi-sites are involved. This paper provides new theoretical and experimental results on these challenges. Specifically, multi-site cooperative control and modeling of an Internet based mobile manipulator is presented. The two main characteristics of this system are Internet based real-time closed loop control and coordinated operation. In addition, it is shown that despite random time delay the stability and synchronization of the system were achieved using event-based control. Also, Petri Nets are suggested as a modeling tool for real-time teleoperation systems.
An Assessment of NFC for Future Mobile Payment Systems
Authors: Jan Ondrus, Yves Pigneur
Venue: Proceedings of the International Conference on the Management of Mobile Business (2007)

In this paper, we present an assessment of NFC (Near Field Communication) for future mobile payment systems. NFC is expected to become a very trendy technology for mobile services, more specifically for mobile payments. The objective of our paper is to evaluate in a systematic manner the potential of NFC as an upcoming technology for mobile payments. In order to ensure the rigor of our research, we used a formal and structured approach based on multi-actor multi-criteria methods. Our research provides one of the first assessment of NFC and a realistic picture of the current Swiss situation as we involved numerous mobile payment experts. Our findings show that Swiss industry experts are quite enthusiastic about the future of NFC.
A better update policy
Authors: Jeffrey C. Mogul
Venue: Proceedings of the USENIX Summer 1994 Technical Conference on USENIX Summer 1994 Technical Conference - Volume 1 (1994)

Some file systems can delay writing modified data to disk, in order to reduce disk traffic and overhead. Prudence dictates that such delays be bounded, in case the system crashes. We refer to an algorithm used to decide when to write delayed data back to disk as an update policy. Traditional UNIX® systems use a periodic update policy, writing back all delayed-write data once every 30 seconds. Periodic update is easy to implement but performs quite badly in some cases. This paper describes an approximate implementation of an interval periodic update policy, in which each individual delayed-write block is written when its age reaches a threshold. Interval periodic update adds little code to the kernel and can perform much better than periodic update. In particular, interval periodic update can avoid the huge variances in read response time caused by using periodic update with a large buffer cache.
Improved error reporting for software that uses black-box components
Authors: Jungwoo Ha, Christopher J. Rossbach, Jason V. Davis, Indrajit Roy, Hany E. Ramadan, Donald E. Porter, David L. Chen, Emmett Witchel
Venue: ACM SIGPLAN Notices (2007)

An error occurs when software cannot complete a requested action as a result of some problem with its input, configuration, or environment. A high-quality error report allows a user to understand and correct the problem. Unfortunately, the quality of error reports has been decreasing as software becomes more complex and layered. End-users take the cryptic error messages given to them by programsand struggle to fix their problems using search engines and support websites. Developers cannot improve their error messages when they receive an ambiguous or otherwise insufficient error indicator from a black-box software component. We introduce Clarify, a system that improves error reporting by classifying application behavior. Clarify uses minimally invasive monitoring to generate a behavior profile, which is a summary of the program's execution history. A machine learning classifier uses the behavior profile to classify the application's behavior, thereby enabling a more precise error report than the output of the application itself. We evaluate a prototype Clarify system on ambiguous error messages generated by large, modern applications like gcc, La-TeX, and the Linux kernel. For a performance cost of less than 1% on user applications and 4.7% on the Linux kernel, the proto type correctly disambiguates at least 85% of application behaviors that result in ambiguous error reports. This accuracy does not degrade significantly with more behaviors: a Clarify classifier for 81 La-TeX error messages is at most 2.5% less accurate than a classifier for 27 LaTeX error messages. Finally, we show that without any human effort to build a classifier, Clarify can provide nearest-neighbor software support, where users who experience a problem are told about 5 other users who might have had the same problem. On average 2.3 of the 5 users that Clarify identifies have experienced the same problem.
Reduced rank space-time adaptive radar processing
Authors: J. S. Goldstein
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 02 (1996)

This paper is concerned with the performance of reduced rank space-time adaptive processing (STAP) for radar signals. The motivation for rank reduction is that optimal full-rank STAP requires many more weights than can be supported on airborne and space-segment platforms. This paper compares the steady-state STAP performance for the fully adaptive joint domain (space-time) optimal processor, the partially adaptive factored time-space processor, the principal component technique, and the cross-spectral metric based processor. Data collected from the ARPA Mountaintop program is utilized to validate the results.
Fuzzy channel-optimized vector quantization for image coding
Authors: Wen-Jyi Wang
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 04 (2000)

A novel vector quantizer (VQ) design algorithm for noisy channels is presented in this paper. The algorithm, termed fuzzy channel-optimized vector quantizer (FCOVQ) design algorithm, performs the codeword training using an optimal fuzzy clustering technique where the channel noise is taken into account. In the existing crisp channel-optimized VQ (CCOVQ) design algorithms, the quantization accuracy is traded for less sensitivity to channel noise. However, because of utilizing the optimal fuzzy clustering process for VQ design, the FCOVQ algorithm can effectively reduce the sensitivity to channel noise while maintaining the quantization accuracy. Therefore, given the same noisy channel, the FCOVQ can have better rate-distortion performance than that of the CCOVQ techniques.
A distributed admission control model for class-based networks using edge-to-edge QoS and SLS monitoring
Authors: S. Lima, P. Carvalho, A. Santos, V. Freitas
Venue: Proceedings of the The 8th International Conference on Communication Systems - Volume 01 (2002)

The advent of class-based networks has brought new needs for network traffic control in order to assure a certain QoS level. Despite the existing proposals, achieving a generic admission control (AC) strategy for traffic entering these networks is still an open issue. This paper provides new insights on how AC shall be accomplished proposing an encompassing AC model for multi-service class-based networks, which covers both intra-domain and end-to-end operation, without requiring changes in the network core and complex AC signaling. For each service type, AC is distributed and based on both on-line edge-to-edge monitoring of relevant QoS parameters and SLSs utilization. Service monitoring, performed at egress nodes, provides adequate metrics to ingress nodes which take implicit or explicit AC decisions based on service-de pendent criteria. Although being oriented to flow AC. the model can easily be applied to SLS AC. SLS auditing and SLS traffic conditioning are tasks also covered.
Tracking people across disjoint camera views by an illumination-tolerant appearance representation
Authors: Christopher Madden, Eric Dahai Cheng, Massimo Piccardi
Venue: Machine Vision and Applications (2007)

Tracking single individuals as they move across disjoint camera views is a challenging task since their appearance may vary significantly between views. Major changes in appearance are due to different and varying illumination conditions and the deformable geometry of people. These effects are hard to estimate and take into account in real-life applications. Thus, in this paper we propose an illumination-tolerant appearance representation, which is capable of coping with the typical illumination changes occurring in surveillance scenarios. The appearance representation is based on an online k-means colour clustering algorithm, a data-adaptive intensity transformation and the incremental use of frames. A similarity measurement is also introduced to compare the appearance representations of any two arbitrary individuals. Post-matching integration of the matching decision along the individuals&#x2018; tracks is performed in order to improve reliability and robustness of matching. Once matching is provided for any two views of a single individual, its tracking across disjoint cameras derives straightforwardly. Experimental results presented in this paper from a real surveillance camera network show the effectiveness of the proposed method.