ppxscal/embedding_network huggingface dataset:
Color Region Grouping and Shape Recognition with Deformable Models
Authors: Lifeng Liu, Stan Sclaroff
Venue:  (1997)

Abstract A new deformable shape-based method for color region segmentation is described. The method includes two stages: over-segmentation using a traditional color region segmentation algorithm, followed by deformable model-based region merging via grouping and hypothesis selection. During the second stage, region merging and object identification are executed simultaneously. A statistical shape model is used to estimate the likelihood of region groupings and model hypotheses. The prior distribution on deformation parameters is precomputed using principal component analysis over a training set of region groupings. Once trained, the system autonomously segments deformed shapes from the background, while not merging them with similarly colored adjacent objects. Furthermore, the recovered parametric shape model can be used directly in object recognition and comparison. Experiments in segmentation and image retrieval are reported.
Complete Digital Design: A Comprehensive Guide to Digital Electronics and Computer System Architecture, 1 edition
Authors: Mark Balch
Venue:  (2003)

Table of contentsPart 1: Digital FundamentalsChapter 1: Digital LogicChapter 2: Integrated Circuits and the 7400 Logic FamiliesChapter 3: Basic Computer ArchitectureChapter 4: MemoryChapter 5: Serial CommunicationsChapter 6: Basic Microproprocessors and Microcomputer ElementsPart 2: Advanced Digital SystemsChapter 7: Advanced Microprocessor ConceptsChapter 8: High-Performance Memory TechnologiesChapter 9: NetworkingChapter 10: Logic Design and Finite State MadchinesChapter 11: Programmable Logic DevicesPart 3: Analog Basics for Digital SystemsChapter 12: Electrical FundamentalsChapter 13: Diodes and TransistorsChapter 14: Oerational AmplifiersChapter 15: Analog Interfaces for Digital SystemsPart 4: Digital System Design in PracticeChapter 16: Clock DistributionChapter 17: Voltage Regulation and Power DistributionChapter 18: Signal IntegrityChapter 19: Designing for SuccessAppendix A: Further EducationIndex 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
Design of Reconfigurable Access Wrappers for Embedded Core Based SOC Test
Venue: Proceedings of the 3rd International Symposium on Quality Electronic Design (2002)

Testing of embedded core based system-on-chip (SOC) ICs is a well known problem, and the upcoming IEEE P1500 (SECT) standard proposes DfT solutions to alleviate it. One of the proposals is to provide every core in the SOC with test access wrappers. Previous approaches to the problem of wrapper design have proposed static core wrappers, which are designed for a particular test access mechanism (TAM) width. We present the first report of a design of reconfigurable core wrappers. An automatic procedure for the creation of DfT required for reconfiguration using a graph theoretic representation of core wrappers is also presented. Our method is superior to previously published methods as it admits dynamic reconfiguration of core level scan access structures with little area and delay over-head. Using reconfigurable core wrappers the quality of the SOC test schedule can be improved. Theoretical analysis of the corresponding scheduling problem indicates that good approximate schedules can be achieved without significant computational effort. Experimental results demonstrate that our method outperforms state-of-art ILP formulations by as much as 15%.
Robotic 360° Photography for Virtual Site Visits
Venue: Proceedings of the 1999 International Conference on Information Visualisation (1999)

A robotic photographic method has been developed for use in outdoor locations such as construction sites, to provide 360° panoramic visual database material for representation of a virtual site, together with the software for authoring and delivery the material to users via the Internet. A portable digital photographic system thus built can take a 360° panorama photograph in digital form within minutes. The Java software package can present an image in an efficient and effective "video" style with full dynamic "hyperlink" support. 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
Smart Cluster Network (SCnet): Design of High Performance Communication System for SAN
Authors: Naoshi Ogawa, Takahiro Kurosawa, Mitsuhiro Kishimoto, Nobuhiro Tachino, Andreas Savva, Keisuke Fukui
Venue: Proceedings of the 1st IEEE Computer Society International Workshop on Cluster Computing (1999)

Smart Cluster Network (SCnet) is a high performance Virtual Interface (VI) Architecture communication system for UNIX TM systems connected with Fujitsu's Synfinity-0 System Area Network (SAN). It is the first UNIX TM VI Architecture system that achieves "Full Conformance," as defined by Intel Corp. This paper describes the design of SCnet, focusing on multiple Network Interface Card (NIC) support for load balance, inter-process protection, memory registration, and communication protocols. The paper presents the main problems faced and our solutions for them. We propose extensions needed to support the VI Architecture effectively on current systems. We evaluated the SCnet performance experimentally using a two node cluster system connected with the Fujitsu's Synfinity-0 SAN. Latency as low as 42 microseconds, and throughput as high as 108 MBytes/sec is achieved using a single NIC. When using 2 NICs per node throughput of 210 MBytes/sec is achieved.
Functional Integrity of MAS through the Dynamics of the Agents' Population
Authors: Krzysztof Cetnarowicz, Grzegorz Dobrowolski, Marek Kisiel-Dorohinicki, Edward Nawarecki
Venue: Proceedings of the 3rd International Conference on Multi Agent Systems (1998)

In open multi-agent systems i.e. systems, in which agents of different kinds may join or leave the system, the problem of functional integrity seems to be of vast importence. The thesis discussed in the paper is that the number of agents in a multi-agent system can be an important characteristic of its dynamics and, in particular, constitute a base for evaluation of its functional integrity at a population level. Also certain mechanisms which allow for controlling the number of agents preserving their autonomy have been proposed.
History of the Internet
Authors: Josepha Sherman
Venue:  (2003)

:The beginnings of the Internet can be traced back to the 1960s when APRANET, a military computer network, was developed for the U.S. Department of Defense. This network grew to become what we call the Internet. Learn more about the people who created the Internet and how a small computer network evolved into the international phenomenon it is today.
Experiments on the use of feature selection and negative evidence in automated text categorization
Authors: Luigi Galavotti, Fabrizio Sebastiani, Maria Simi
Venue:  (2000)

In this work we tackle two different problems of {\em text categorization} (TC), namely feature selection and classifier induction. {\em Feature selection} refers to the activity of selecting, from the set of $r$ distinct features (i.e.\ words) occurring in the collection, the subset of $r''\ll r$ features that are most useful for compactly representing the meaning of the documents. We propose a novel feature selection technique, based on a simplified variant of the $\chi^2$ statistics. {\em Classifier induction} refers instead to the problem of automatically building a text classifier by learning from a set of documents pre-classified under the categories of interest. We propose a novel variant, based on the exploitation of negative evidence, of the well-known $k$-NN method. We report the results of systematic experimentation of these two methods performed on the standard {\sc Reuters-21578} benchmark.
Fragments: A Mechanism for Low Cost Data Integration
Authors: Steven P. Reiss
Venue:  (1995)

Control integration has become widely used as the primary means for combining a variety of programming tools in an environment. Data integration, on the other hand has not been nearly as sucessful. the primary reason for this is the high cost of data integration when it is viewed as a program databses. Both the complexity of the needed database system and the high cost of modifying all the programming tools to use the database have made data integration expensive. In this paper we propose a new means for data integration based on a database of fragments. Fragments are references to portions of a file. They have a source, type and associated attributes. The database and fragments are accessed through an object-oriented query language. This mechanism promises to provide most of the capabilities typically associated with data integration without the large costs. It allows the use of existing tools and multiple languages and can offer full support for thr software engineering process.
Probabilistic and Truth-Functional Many-Valued Logic Programming
Authors: Thomas Lukasiewicz
Venue: Proceedings of the Twenty Ninth IEEE International Symposium on Multiple-Valued Logic (1999)

We introduce probabilistic many-valued logic programs in which the implication connective is interpreted as material implication. We show that probabilistic many-valued logic programming is computationally more complex than classical logic programming. More precisely, some deduction problems that are P-complete for classical logic programs are shown to be co-NP-complete for probabilistic many-valued logic programs. We then focus on many-valued logic programming in Pr*_n as an approximation of probabilistic many-valued logic programming. Surprisingly, many-valued logic programs in Pr*_n have both a probabilistic semantics in probabilities over a set of possible worlds and a truth-functional semantics in the finite-valued Lukasiewicz logics L_n. Moreover, many-valued logic programming in Pr*_n has a model and fixpoint characterization, a proof theory, and computational properties that are very similar to those of classical logic programming.
The Digital Photographer's Pocket Encyclopedia: 3000 Terms Explained
Authors: Peter Cope
Venue:  (2002)

:Traditional photographers who embrace the new technologies of digital photography find themselves in world filled with jargon, unfamiliar words, and acronyms. While such terms as shutter speed and aperture still have meaning in the digital arena, there is a whole new language to grasp. This essential reference guide cuts through the "techno-babble" with a no-nonsense approach and plenty of full-color illustrations and diagrams. Conveniently organized by topic and featuring a special binding that enables it to lie flat, this comprehensive volume explains thousands of complex terms by relating them to traditional photography as much as possible. Every aspect of digital photographyhardware as well as softwareis covered, including cameras, computers, monitors, scanners, file management, image manipulation, printing, presentation, and the Web. Valuable for both amateurs and professionals, this is a must-have for anyone who doesn't know their CMOS from their BIOS. 5 1/8 X 8 1/4. all in color
Traditional Japanese Crafting Presentation System Based on VR and Kansei Information Processing Techniques
Authors: Kaoru Sugita, Akihiro Miyakawa, Yukiharu Kohsaka, Koji Hashimoto, Yoshitaka Shibata
Venue: Proceedings of the Seventh International Conference on Parallel and Distributed Systems: Workshops (2000)

Technical evolution of traditional crafting industries by multimedia and network technologies performs very important role to survive in modern industrialization in the world. In this paper, we propose a three-dimensional CG presentation system using Kansei information processing and Virtual Reality technologies. A large number of data concerned with traditional Japanese fittings are stored in the database distributed over Internet. User can easily retrieve the desired fittings according to his/her Kansei and design not only the traditional Japanese interior but also combine those with western interior to build creative and original houses, hotels and other buildings. We built a prototype system in which user can also walk through the designed virtual space as a Japanese room organized by Japanese traditional fitting in Taturu-Hama-Cho and interactively change those fittings by the selected ones based on his Kansei from the distributed databases over Internet. As a result, we could verify the usefulness of our suggested system not only for Japanese crafting presentation fields but also for worldwide design industries.
Designing a Calculational Logic Theorem Prover: Insight into Search Procedure via Eye Movements
Authors: Eric Aaron, Michael Spivey
Venue:  (1998)

We are designing and implementing an automated theorem prover that will in part attempt to simulate human performance on calculational logic theorem proving. To support this project, we recorded and analyzed people''s eye movements while they constructed calculational proofs. Our findings confirm some expected behaviors (based on strategies and principles taught to students) that may previously have seemed untestable, such as the influence of the form of the current proof step and of syntax in general on the microcognition of the problem solver. The experiment also uncovered other interesting patterns, such as the seemingly inefficient but widely occurring tendency to attend to premises that are not used in the proof under consideration. Overall, we gained insights into microcognition that could not have been gained merely by studying written proofs. We expect these insights to directly impact the theorem prover under development, but they may also find a wider audience, appealing to educators and logicians who are familiar with calculational methods and student performance on calculational proofs. Our findings also support the notion that analyses of eye movements can improve our understanding of the way people perform some theorem proving tasks.
Analysis of Arithmetic Coding for Data Compression
Authors: Paul G. Howard, Jeffrey S Vitter
Venue:  (1992)

Arithmetic coding, in conjunction with a suitable probabilistic model, can provide nearly optimal data compression. In this article we analyze the effect that the model and the particular implementation of arithmetic coding have on the code length obtained. Periodlic scaling is often used in arithmetic coding implementations to reduce time and storage requirements; it also introduces a recency effect which can further affect compression. Our main contribution is introducing the concept of {\em weighted entropy} and using it to characterize in an elegant way the effect that periodic scaling has on the code length. We explain why and by how much scaling increases the code length for files with a homogeneous distribution of symbols, and we characterize the reduction in code length due to scaling for files exhibing locality of reference. We also give a rigorous proof that the coding effects of rounding scaled weights, using integer arithmetic, and encoding end-of-file are negligible. {\em Index terms:} data compression, arithmetic coding, analysis of algorithms, adaptive modeling
Efficient Radio Wave Propagation for Wireless RadioSignal Prediction
Authors: Perkins Greg, Souvaine Diane
Venue:  (1999)

Due to the ever increasing complexity of wireless network design, wireless network simulation engines have become a necessary tool for wireless network engineers. A signal-strength prediction system lies at the foundation of every wireless simulator, making signal-strength prediction for microcells and picocells an important research topic in the radio field. Efficient and accurate methods are needed for use in current wireless network design and future wireless network research. This paper describes a system, PREDICT, designed for use in wireless radio signal prediction research. PREDICT tracks the expansion of a transmitter''s wavefront by modeling the wavefront as an ever expanding sphere centered upon the transmitter. The sphere''s expansion is tracked by discretizing the sphere''s surface with a triangulation and then propagating each triangular wavefront through the environment. In the propagation prediction of these triangular wave fronts, PREDICT supports reflection, transmission and diffraction based upon the geometric optics (GO) model of electromagnetic waves. Signal prediction is performed through a special summation of the predicted multi-path at a receiver. PREDICT''s algorithms have been specifically designed for use in radio signal prediction. The current environments supported by PREDICT are urban with flat or varied terrain and a single floor of a building, where all obstacles in the environment have vertical or horizontal walls. The system design is flexible, allowing PREDICT to be expanded for use in many different environments. Modularity allows for easy modification to the GO model or implementation of alternate radio modeling methods (one can easily modify PREDICT, or use the results generated by PREDICT, with one''s own radio wave modeling methods). PREDICT is publicaly available for any non-commercial use.
Constructing decision procedures in equational clausal logic
Authors: Nicolas Peltier
Venue: Fundamenta Informaticae (2002)

A method is proposed to construct decision procedures for various subclasses of first-order logic with equality. We define a notion of complexity of first-order terms and equations, and we propose semantic and syntactic criteria ensuring that existing refinements of the paramodulation calculus terminate on the considered clause sets. These refinements use reduction orderings, selection functions and simplification rules. Since they are sound and refutationally complete, the corresponding classes of formulae are decidable. Moreover, the automatic extraction of models from saturated clause sets is also possible. A discussion and detailed comparisons with existing works in the field are provided, together with numerous examples and some undecidability results.
Proposal for A Framework for the High-Precision Identification of Linguistic Relationships
Authors: Claire Cardie, Scott Mardis
Venue:  (1997)

Current research in Information Retrieval and Information Extraction demands high-precision syntactic and semantic information from natural language text. We propose a plan for developing a framework to identify, with high-precision, the linguistic relationships between pairs of words in natural language text. Related research is reviewed and preliminary results are given. In our plan we outline the linguistic identification task: a new way to evaluate NLP systems.
Dynamic Routing of Real-Time Virtual Circuits
Authors: Ibrahim Matta, A. Udaya Shankar
Venue: Proceedings of the 1996 International Conference on Network Protocols (ICNP '96) (1996)

Future integrated services networks, such as ATM networks, will support diverse services, including guaranteed real-time service required by many applications such as voice and video. To support such service, virtual circuit (VC) routing algorithms are often proposed. Typically, the source maintains a view of the network, and uses this view to select a path to the destination. A request is then made to setup a real-time VC over this path through resource reservations. The request is blocked if the requested resources are not available. These VC routing algorithms are usually evaluated individually in terms of steady-state performance measures. In this paper, we compare several VC routing schemes in terms of instantaneous measures using a recently developed time-dependent evaluation method. Our results show that a routing scheme which defines the cost of a path as the sum of measured link utilizations yields more stable behavior and lower VC blocking probability over a wide range of workload parameters and network configurations than other traditional schemes.
Java Security Solutions, 1 edition
Authors: Rich Helton, Johennie Helton
Venue:  (2002)

:In this unique guide, two Java security experts show you how to take full advantage of Java security technologies -- cryptography, algorithms, and architecture. They explain today's Java security tools, concepts, protocols, and specifications, including ECC, RSA, MAC, ciphers, Kerberos, JAAS, JSSE, IPSec, X.509 certificates, PKI, and RMI. The book not only describes what each of the technologies is but also explains why it exists, when you should use it, and how to implement it. Packed with practical security solutions and lots of source code examples, it delivers all the know-how you need to work with Java security components and extend them in the real world.
Reima Smart Shout concept and prototype
Authors: Jussi Mikkonen, Jukka Vanhala, Akseli Reho, Jussi Impiö
Venue: Proceedings of the 5th IEEE International Symposium on Wearable Computers (2001)

This paper describes the concept and functions of Reima Smart Shout (RSS) group communication enabler. It is a communication device that was designed primarily for snowboarders. Basic block diagram is also described. Smart Shout is a wearable device, which is worn on the snowboarding outfit and can be used to record and transmit voice messages to multiple recipients.
Developing a virtual reality interface for an integrated project database environment
Authors: G. Aouad, T. Child, F. Marir, P. Brandon
Venue: Proceedings of the IEEE Conference on Information Visualisation (1997)

Explores the potential of using virtual reality (VR) as an interface for an integrated project database using the World Wide Web. VRML (Virtual Reality Modelling Language), which is a Web-based standard, is explored as a means of remotely interrogating information stored within an integrated database. VRML allows the creation of 3D views and worlds which can be explored in real time. This paper describes the steps taken to link the OSCON integrated database to a VRML environment. It addresses the issue of using VR as the medium for the remote accessing of information within an integrated environment. For instance, site engineers can query the database from their sites if they have access to a modem and the Internet. Technologies are now available which can be used to this end. The Internet and its facilities should be exploited for the benefits of better management and retrieval of construction information. VR has often been looked on as a visualisation tool. This paper puts the argument that VR should be used as a user interface. For instance, the user should interact with a 3D column in VR rather than a column in a traditional database environment. This allows the construction practitioners better access to information which will motivate them to use integrated databases. In addition, VR should be used as a vehicle for classifying information. The user should be able to look at the design, costing, time planning and facilities management views according to his/her requirements. This may prove helpful in projecting information from a project integrated database.
Le Salon, Where Agents Meet Actors
Authors: Francis Van Aeken
Venue: Proceedings of the 8th International Conference on Tools with Artificial Intelligence (1996)

In this paper, we present le Salon, a tool for the construction and management of virtual places on the World Wide Web. Users are represented by interface agents that interact with each other and with independent artificial agents. All interactions follow a strict protocol which allows for partial grounding of the exchanged concepts. We believe that such grounding might lead to a more successful integration of artificial agents in environments designed for human actors. 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