ppxscal/embedding_network huggingface dataset:
Digesting Commercial Clips from TV Streams
Authors: Ling-Yu Duan, Jinqiao Wang, Yan-Tao Zheng, Hanqing Lu, Jesse S. Jin
Venue: IEEE MultiMedia (2008)

A commercial system that performs syntactic and semantic analysis during a TV advertising break could facilitate innovative new applications, such as an intelligent set-top box that enhances the ability of viewers to monitor and manage commercials from TV streams.
Design and Implementation of the Network Server Based on SIP Communication Protocol
Authors: Yanping Gao, Hong Yu, Fengjiao Jiang
Venue: Proceedings of the First International Workshop on Knowledge Discovery and Data Mining (2008)

SIP is a kind of application-layer control signaling protocol for creating, modifying and finishing the conversation with one or more participants. It has several advantages such as simple, good expansibility and scalability, and so on. Based on the SIP, in this paper a design and implementation scheme of SIP server system is proposed, and the scheme can realize the functions of IP phone such as calling, billing and so on, and finally based on the standards and interfaces of JainSip API which was provided by SUN company the design scheme is realized.
An Interval-Based Solution for Static Analysis in the SIGNAL Language
Authors: Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard
Venue: Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (2008)

Synchronous languages have been introduced to provide safety-critical system designers with a formal means of creating trusted designs. The compilers for these languages analyze programs to prove their correctness, and automatically transform them into executable code. In Signal, the compiler has a clock abstraction to support the efficient determination of whether or not program variables occur at any instant. Such information contributes to an assessment of system reactivity and helps optimize the corresponding generated code. In this paper, we first discuss the limitation of this clock abstraction when dealing with non-logical expressions in programs. Then, we propose and implement an interval-based representation,consisting of a generalization of binary decision diagrams, in order to improve the current static analysis in the compiler.
Office and SharePoint 2007 User's Guide: Integrating SharePoint with Excel, Outlook, Access and Word (Pro)
Authors: Michael Antonovich
Venue:  (2008)

Web sites. Collaboration. Document management. Paperless offices. We want it all in business today, but how do you achieve all of these goals? More importantly, if you work for one of the millions of small to mediumsized businesses, how do you find the time and build the expertise necessary to reach these goals? Even the most powerful tool will not allow you to succeed unless you can get the majority of your staff to use it efficiently and effectively. You need a guide that demonstrates a platform small to mediumsized businesses can use to reach these goals. Office and SharePoint 2007 Users Guide: Integrating SharePoint with Excel, Outlook, Access and Word demystifies the path every Microsoft Office user can follow to benefit from the synergism of tools they are already familiar with. Together with SharePoint 2007, users can achieve goals like web sites with a consistent single view, improved collaboration within their organization, better document management, and maybe even get one step closer to the paperless office weve been promised for years. This book has topics for Office users of all skill levels, from those just starting to use Office tools to the experienced power user. It examines each major Office tool and shows how it contributes to the support and use of SharePoint in todays increasingly electronicbased office environment. What youll learn In this book, you will discover How to access, customize, share, and extend SharePoint document libraries in conjunction with Word, Excel, and other Office products Different ways to working through Office while interacting with SharePoint, like synchronizing your calendar and contacts, exporting databases, and modifying them with SharePoints list view, and so on The best ways of managing content across teams and your entire organization What it really means to leverage all of SharePoints capabilities by tying them directly into the Office applications you use every day Who is this book for? Office and SharePoint 2007 Users Guide: Integrating SharePoint with Excel, Outlook, Access and Word is a perfect reference for everyone who works at a company or organization that is using or planning to use either Windows SharePoint Services 3.0 or Microsoft Office SharePoint Server 2007 and who wants to make a difference by developing content, collaboration, and benefiting from the synergism working with several Microsoft products can provide. Related Titles SharePoint 2007 User's Guide: Learning Microsoft's Collaboration and Productivity Platform Pro SharePoint Solution Development: Combining .NET, SharePoint and Office 2007 Workflow in the 2007 Microsoft Office System Pro Access 2007 Pro InfoPath 2007
Turing machines and bimachines
Authors: John Rhodes, Pedro V. Silva
Venue: Theoretical Computer Science (2008)

We associate the iterated block product of a bimachine with a deterministic Turing machine. This allows us to introduce new algebraic notions to study the behavior of the Turing machine. Namely, we introduce double semidirect products through matrix multiplication of upper triangular matrices with coefficients in certain semigroups, which leads in turn to the study of the iterations of bimachines. By passing to the profinite (or projective) limit, we obtain an algebraic profinite description of the limit behavior of the Turing machine. Finally, we analyze the proof that all languages in NP can be reduced to circuit sat from this viewpoint.
A two-step classification approach to unsupervised record linkage
Authors: Peter Christen
Venue: Proceedings of the sixth Australasian conference on Data mining and analytics - Volume 70 (2007)

Linking or matching databases is becoming increasingly important in many data mining projects, as linked data can contain information that is not available otherwise, or that would be too expensive to collect manually. A main challenge when linking large databases is the classification of the compared record pairs into matches and non-matches. In traditional record linkage, classification thresholds have to be set either manually or using an EM-based approach. More recently developed classification methods are mainly based on supervised machine learning techniques and thus require training data, which is often not available in real world situations or has to be prepared manually. In this paper, a novel two-step approach to record pair classification is presented. In a first step, example training data of high quality is generated automatically, and then used in a second step to train a supervised classifier. Initial experimental results on both real and synthetic data show that this approach can outperform traditional unsupervised clustering, and even achieve linkage quality almost as good as fully supervised techniques.
Stability analysis of linear 2-D systems
Authors: Tao Liu
Venue: Signal Processing (2008)

The present paper is concerned with stability analysis of linear two-dimensional systems described by Fornasini-Marchesini state-space model. Necessary and sufficient conditions for asymptotic stability of the systems are obtained first. Several simple stability criteria are derived via the nonnegative matrix theory, which are sharper than those in literature. When all the parameter matrices are nonnegative, the criteria are necessary and sufficient for stability of the system. Illustrative examples are provided.
Fabrication of optical grayscale masks for tapered microfluidic devices
Authors: Volker Nock, Richard J. Blaikie
Venue: Microelectronic Engineering (2008)

In this paper we report a process using electron beam lithography (EBL) to provide high-resolution prototyping of sub-wavelength patterned grayscale masks. The fabrication of such masks and the characterisation of grayscale patterning in thick optical resist are described. In addition, the application of these masks for the creation of three-dimensional tapered microstructures for use as masters in soft lithography for microfluidic devices is demonstrated.
Providing delay guaranteed service in CDMA wireless networks
Authors: Maode Ma, Qichao Zhu
Venue: Computer Communications (2008)

To provide QoS over wireless networks is a very important issue in the design of CDMA based wireless networks. In this paper, we propose a systematic scheme to provide delay guaranteed service for CDMA based wireless networks. The proposed scheme works based on the distributed queuing random access with fix assignment protocol for CDMA wireless network (DQRAP+AP/CDMA) including a hierarchical scheduling algorithm and an admission control scheme. The proposed solution has been designed to have an ability to accommodate integrated traffic and provide delay guaranteed service to real-time traffic with delay requirements. A series of simulation experiments have been carried out to evaluate the performance of the proposal. The results prove that the proposed solution can effectively guarantee the delay requirements from different real-time traffic streams.
Application of statistical process control in injection mould manufacturing
Authors: J. Cao, Y. S. Wong, K. S. Lee
Venue: International Journal of Computer Integrated Manufacturing (2007)

Short-run statistical process control (SPC) usually transfers the data of different types of parts through data coding and part-family formation. As plastic injection moulds are mostly made in one-off or very small batches and one mould part can be very different from another, constant machine set-up changes are needed. In this situation, part-family formation becomes very difficult. The part family either becomes too large, introducing variations that are unnecessary or more complex to handle, or there are too many part families to handle. An approach is proposed in the present study with the aim to overcome the aforementioned problems. This approach defines the SPC processes and part families based on data from manufacturing processes in the mould manufacturing workshop. For each mould part to be produced, its manufacturing processes are classified into particular SPC processes, and the part is classified into a specific part family according to prescribed memberships. Through this procedure, unwanted variations are effectively isolated to facilitate and simplify subsequent data processing and interpretation. Domain-specific methods and rules of SPC planning for mould manufacturing are also presented to simplify the application of SPC in this area.
Design and characterization of a humidity sensor realized in LTCC-technology
Authors: W. Smetana, M. Unger
Venue: Microsystem Technologies (2008)

A new type of integrated temperature and humidity sensor applying Low Temperature Cofired Ceramics technology (LTCC) has been developed and characterized. The proposed device is based on the detection of the difference of thermal conductivity between water vapor and dry air. In this approach, sensing elements are implemented using heated metal film resistors (Pt-elements), where one is exposed to the humid environment that causes the sensor element to cool down with increased humidity, while the other one is sealed from the environment. LTCC-tapes are used for the formation of caps as well are acting as substrate. Sensor design is based on finite element analyses (FEA) where the critical design parameters have been analyzed with regard to the performance characteristic of the device.
Towards a Model Driven Autonomic Management System
Authors: Laurent Broto, Daniel Hagimont, Estella Annoni, Benoit Combemale, Jean-Paul Bahsoun
Venue: Proceedings of the Fifth International Conference on Information Technology: New Generations (2008)

Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with specific management interfaces. Moreover, the fact that management tasks are performed by humans leads to many configuration errors and low reactivity. This is particularly true in medium or large-scale distributed infrastructures. To address this issue, we explore the design and implementation of an autonomic management system. The main principle is to wrap legacy software pieces in components in order to administrate a software infrastructure as a component architecture. However, we observed that the interfaces of a component model are too low-level and difficult to use. Consequently, we explore the use of a model driven approach where several UML profiles are used to specify the different facets of an autonomic management policy.
User simulation in a stochastic dialog system
Authors: Francisco Torres, Emilio Sanchis, Encarna Segarra
Venue: Computer Speech and Language (2008)

We present a new methodology of user simulation applied to the evaluation and refinement of stochastic dialog systems. Common weaknesses of these systems are the scarceness of the training corpus and the cost of an evaluation made by real users. We have considered the user simulation technique as an alternative way of testing and improving our dialog system. We have developed a new dialog manager that plays the role of the user. This user dialog manager incorporates several knowledge sources, combining statistical and heuristic information in order to define its dialog strategy. Once the user simulator is integrated into the dialog system, it is possible to enhance the dialog models by an automatic strategy learning. We have performed an extensive evaluation, achieving a slight but clear improvement of the dialog system.
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit
Authors: Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo Barreto, Vicente Lucena
Venue: Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (2008)

A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software involved. The development methodology proposed in this paper adapts agile principles and patterns to support the building of embedded control systems, focusing on the issues relating to a system's constraints and safety. Strong unit testing, to ensure correctness, including the satisfaction of timing constraints, is the foundation of the proposed methodology. A platform-based design approach is used to balance costs and time-to-market in relation to performance and functionality constraints. It is concluded that the proposed methodology significantly reduces design time and costs, as well as leading to better software modularity and reliability.
Resource Management Considerations in Collector Overlay Networks
Authors: Mukundan Venkataraman, Shamik Sengupta, Mainak Chatterjee, Raja Neogi
Venue: Proceedings of the Fourth International Conference on Networking and Services (2008)

Streaming monitorables on an overlay plane orthogonal to the data-path is emerging as a promising way to monitor, detect and isolate network impairments and outages. However, keeping the overlay stable and efficient poses acute challenges, since the overlay network itself shall not be monitored for outages. A linear mapping of exporter elements onto collectors often leads to a sub-optimal resource allocation, frequently saturating a few collectors leading to gaps in monitored data. Such gaps could prove costly for network operators, and a most common reaction to this is expensive hardware upgrades. In times of such outages, however, it is observed that not all collectors are saturated. More often than not, balancing the load and efficiently distributing available resources was all that was needed to prevent saturation related outages, and increase overall capacity of the overlay. We discuss ways to construct a scalable, robust, and resilient overlay that can function autonomously given the constraints of a typical real world access network.
An Improved Algorithm for the Evaluation of Alternating Fixpoint Expressions in the mu-Calculus
Authors: Hua Jiang, Xiang Li
Venue: Proceedings of the Fifth International Conference on Information Technology: New Generations (2008)

Based on the function monotonicity in the mu-calculus formula, this paper presents a global model-checking algorithm for calculating the alternating nesting mu- calculus formula, whose time complexity is O((2n+1)^((d+3)/4+(d+2)/4)) and space complexity is O(dn). It is the first known algorithm whose space complexity is O(dn)and the exponent part of time complexity is d/2 for a global model-checking algorithm in the full calculus formula at present.
Towards a generic model for software quality prediction
Authors: Zeeshan Ali Rana, Shafay Shamail, Mian Muhammad Awais
Venue: Proceedings of the 6th international workshop on Software quality (2008)

Various models and techniques have been proposed and applied in literature for software quality prediction. Specificity of each suggested model is one of the impediments in development of a generic model. A few models have been quality factor specific whereas others are software development paradigm specific. The models can even be company specific or domain specific. The amount of work done for software quality prediction compels the researchers to get benefit from the existing models and develop a relatively generic model. Development of a generic model will facilitate the quality managers by letting them focus on how to improve the quality instead of employing time on deciding which technique best suites their scenario. This paper suggests a generic model which takes software as input and predicts a quality factor value using existing models. This approach captures the specificity of existing models in various dimensions (like quality factor, software development paradigm, and software development life cycle phase etc.), and calculates quality factor value based on the model with higher accuracy. Application of the model has been discussed with the help of an example.
Pro-VIZOR: process tunable virtually zero margin low power adaptive RF for wireless systems
Authors: Shreyas Sen, Vishwanath Natarajan, Rajarajan Senguttuvan, Abhijit Chatterjee
Venue: Proceedings of the 45th annual Design Automation Conference (2008)

In this paper, a process tunable, continuously adaptive wireless front end architecture and related adaptation algorithms are presented that allow an RF transceiver to function at minimum power irrespective of channel conditions and process variability induced performance loss in the RF front end and baseband interface. Current wireless transceiver front ends are designed for worst case channel conditions and a limited degree of post manufacture tuning is performed to compensate for process variations. It is shown how the proposed architecture can result in significant power savings over current practice without compromising system-level bit error rate. The adaptation methodology is applied to a WLAN transceiver design and hardware measurement data for an adaptive receiver is presented.
Performance bounds for peer-assisted live streaming
Authors: Shao Liu, Rui Zhang-Shen, Wenjie Jiang, Jennifer Rexford, Mung Chiang
Venue: Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems (2008)

Peer-assisted streaming is a promising way for service providers to offer high-quality IPTV to consumers at reasonable cost. In peer-assisted streaming, the peers exchange video chunks with one another, and receive additional data from the central server as needed. In this paper, we analyze how to provision resources for the streaming system, in terms of the server capacity, the video quality, and the depth of the distribution trees that deliver the content. We derive the performance bounds for minimum server load, maximum streaming rate, and minimum tree depth under different peer selection constraints. Furthermore, we show that our performance bounds are actually tight, by presenting algorithms for constructing trees that achieve our bounds.
Branches of professional organizations a way to enrich student's scientific and personal skills
Authors: José Carlos Metrolho, Mónica Isabel Teixeira Costa
Venue: Proceedings of the 13th annual conference on Innovation and technology in computer science education (2008)

This paper focus on our experience as student branch counselors regarding the strong benefit of student's branch activities to the student skills. These skills are not only from the scientific point of view but also from the reinforcement of the contacts network and personal development to face working teams and the labor market. The maintenance of a student branch, with the new reality after the Bologna treaty implementation, is not an easy task. This requires a strong activity also from the teacher's staff to keep alive this important component of the graduation cycle during graduation.
Contracting agents: legal personality and representation
Authors: Francisco Andrade, Palo Novais, José Machado, José Neves
Venue: Artificial Intelligence and Law (2007)

The combined use of computers and telecommunications and the latest evolution in the field of Artificial Intelligence brought along new ways of contracting and of expressing will and declarations. The question is, how far we can go in considering computer intelligence and autonomy, how can we legally deal with a new form of electronic behaviour capable of autonomous action? In the field of contracting, through Intelligent Electronic Agents, there is an imperious need of analysing the question of expression of consent, and two main possibilities have been proposed: considering electronic devices as mere machines or tools, or considering electronic devices as legal persons. Another possibility that has been frequently mentioned consists in the application of the rules of agency to electronic transactions. Meanwhile, the question remains: would it possible, under a Civil Law framework, to apply the notions of "legal personhood" and "representation" to electronic agents? It is obvious that existing legal norms are not fit for such an endeavouring challenge. Yet, the virtual world exists and it requires a new but realistic legal approach on software agents, in order to enhance the use of electronic commerce in a global world.
Laplace maximum margin Markov networks
Authors: Jun Zhu, Eric P. Xing, Bo Zhang
Venue: Proceedings of the 25th international conference on Machine learning (2008)

We propose Laplace max-margin Markov networks (LapM3N), and a general class of Bayesian M3N (BM3N) of which the LapM3N is a special case with sparse structural bias, for robust structured prediction. BM3N generalizes extant structured prediction rules based on point estimator to a Bayes-predictor using a learnt distribution of rules. We present a novel Structured Maximum Entropy Discrimination (SMED) formalism for combining Bayesian and max-margin learning of Markov networks for structured prediction, and our approach subsumes the conventional M3N as a special case. An efficient learning algorithm based on variational inference and standard convex-optimization solvers for M3N, and a generalization bound are offered. Our method outperforms competing ones on both synthetic and real OCR data.