ppxscal/embedding_network huggingface dataset:
A Real Time Human Detection System Based on Far Infrared Vision
Authors: Yannick Benezeth, Bruno Emile, Hélène Laurent, Christophe Rosenberger
Venue: Proceedings of the 3rd international conference on Image and Signal Processing (2008)

We present in this article a human detection and tracking algorithm using infrared vision in order to have reliable information on a room occupation. We intend to use this information to limit energetic consumption (light, heating). We perform first, a foreground segmentation with a Gaussian background model. A tracking step based on connected components intersections allows to collect information on 2D displacements of moving objects in the image plane. A classification based on a cascade of boosted classifiers is used for the recognition. Experimental results show the efficiency of the proposed algorithm.
CARSS: A Framework for Learner-Centred Design with Children
Authors: Judith Good, Judy Robertson
Venue: International Journal of Artificial Intelligence in Education (2006)

Learner-centred design (LCD)is a nebulous concept. It can range from attempts to design with the needs of the learner at the forefront, to involving the learner at various stages of the design process, sometimes throughout the whole process. In addition, learner-centred design involving children implies additional issues which do not present themselves when using an LCD approach with adults. In this paper, we argue that current LCD frameworks do not consider the full range of issues necessary for successful design. We propose CARSS (Context, Activities, Roles, Stakeholders, Skills), a learner-centred design framework specifically for child learners, and describe two design case studies which demonstrate the framework in use.
Celf --- A Logical Framework for Deductive and Concurrent Systems (System Description)
Authors: Anders Schack-Nielsen, Carsten Schürmann
Venue: Proceedings of the 4th international joint conference on Automated Reasoning (2008)

CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security protocol analysis, process algebras, and logics. Celf is an implementation of the CLF type theory that extends the LF type theory by linear types to support representation of state and a monad to support representation of concurrency. It relies on the judgments-as-types methodology for specification and the interpretation of CLF signatures as concurrent logic programs [LPPW05] for experimentation. Celf is written in Standard ML and compiles with MLton, MLKit, and SML/NJ. The source code and a collection of examples are available from http://www.twelf.org/~celf .
Distributed Disaster Disclosure
Authors: Bernard Mans, Stefan Schmid, Roger Wattenhofer
Venue: Proceedings of the 11th Scandinavian workshop on Algorithm Theory (2008)

Assume a set of distributed nodes which are equipped with a sensor device. When nodes sense an event, they want to know (the size of) the connected component consisting of nodes which have also sensed the event, in order to raise--if necessary--a disaster alarm. This paper presents distributed algorithms for this problem. Concretely, our algorithms aim at minimizing both the response time as well as the message complexity.
Using MusicXML to Evaluate Accuracy of OMR Systems
Authors: Mariusz Szwoch
Venue: Proceedings of the 5th international conference on Diagrammatic Representation and Inference (2008)

In this paper a methodology for automatic accuracy evaluation in optical music recognition (OMR) applications is proposed. Presented approach assumes using ground truth images together with digital music scores describing their content. The automatic evaluation algorithm measures differences between the tested score and the reference one, both stored in MusicXML format. Some preliminary test results of this approach are presented based on the algorithm's implementation in OMR Guido application.
Non-preemptive Coordination Mechanisms for Identical Machine Scheduling Games
Authors: Konstantinos Kollias
Venue: Proceedings of the 15th international colloquium on Structural Information and Communication Complexity (2008)

We study coordination mechanisms for scheduling n selfish tasks on m identical parallel machines and we focus on the price of anarchy of non-preemptive coordination mechanisms, i.e., mechanisms whose local policies do not delay or preempt tasks. We prove that the price of anarchy of every non-preemptive coordination mechanism for m > 2 is $\Omega(\frac{\log \log m}{\log \log \log m})$, while for m = 2, we prove a $\frac{7}{6}$ lower bound. Our lower bounds indicate that it is impossible to produce a non-preemptive coordination mechanism that improves on the currently best known price of anarchy for identical machine scheduling, which is $\frac{4}{3}-\frac{1}{3m}$.
NetFlow Data Visualization Based on Graphs
Authors: Pavel Minarik, Tomas Dymacek
Venue: Proceedings of the 5th international workshop on Visualization for Computer Security (2008)

We present an innovative approach to NetFlow data processing and visualization developed at Masaryk University in Brno. Our visualization method based on graphs bridges the gap between highly aggregated information visualization represented by charts and too much detailed information represented by the log files. In our visualization method the graph nodes stand for network devices and oriented edges represent communication between these devices. We also present the utilization of external data sources (DNS, port names, etc.), which helps to present NetFlow data in more intuitive way. Hence this approach is very natural one for both network administrators and non-specialists. Based on these methods a proof-of-concept tool called NetFlow Visualizer has been developed and is now offered as an plug-in for the NetFlow probes.
The AIT 3D Audio / Visual Person Tracker for CLEAR 2007
Authors: Nikos Katsarakis, Fotios Talantzis, Aristodemos Pnevmatikakis, Lazaros Polymenakos
Venue: Multimodal Technologies for Perception of Humans: International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers (2008)

This paper presents the Athens Information Technology system for 3D person tracking and the obtained results in the CLEAR 2007 evaluations. The system utilizes audiovisual information from multiple acoustic and video sensors. The proposed system comprises a video and an audio subsystem whose results are suitably combined to track the last active speaker. The video subsystem combines in 3D a number of 2D face localization systems, aiming at tracking all people present in a room. The audio subsystem uses an information theoretic metric upon an ensemble of microphones to estimate the active speaker.
Mediascapes: Context-Aware Multimedia Experiences
Authors: Stuart P. Stenton, Richard Hull, Patrick M. Goddi, Josephine E. Reid, Ben J. C. Clayton, Tom J. Melamed, Susie Wee
Venue: IEEE MultiMedia (2007)

With today's abundance of captured/created graphics/images, audio, and video in hand, can we make full use of this media to explore new experiences or applications? Along these lines, HP Labs has developed a prototype technology called Mediascapes or Mscapes. A Mediascape is a context-aware multimedia experience that allows you to trigger multimedia content based on your context, such as physical locations. Although we believe that some similar concepts have been proposed in piecemeal here and there before, Mediascapes offers the user some totally new experiences. Want to know more details? Follow me into the world of Mediascapes.
VoIP over DVB-RCS satellite systems: Trial results and the impact of adaptive speech coding using cross-layer design
Authors: Maria Kalama, Guray Acar, Barry Evans, Ariane Isoard
Venue: Computer Networks: The International Journal of Computer and Telecommunications Networking (2008)

VoIP is one of the most popular applications on the Internet. The DVB-S2 (digital video broadcasting-satellite version 2) and DVB-RCS (digital video broadcasting-return channel satellite) standards provide the potential for reliable and efficient voice and data transfer over satellite networks. This is important, as satellites can play a role in broadband service provision by addressing the cases of limited terrestrial access such as in rural or underserved areas. The first part of this paper presents the results of our VoIP trials with different commercial DVB-S/RCS satellite offers and popular internet telephony and videoconferencing applications (Skype, MSN, etc.). These results reveal that packet delay and jitter are strongly affected by the satellite network component as well as the type of speech codec used. Accordingly, research presented in the second part of this paper is focused on dynamic speech coding rate control adapted to the conditions of the underlying network, in which the satellite domain presents the most challenging portion of the end-to-end path. For this purpose, a novel cross-layer mechanism is proposed to facilitate and increase the accuracy of the speech coding rate adaptation mechanism. Cross-layer design is a relatively new idea aiming to exploit information exchange among layers of the protocol stack. Our simulation analyses show that the proposed cross-layer mechanism can help us in optimally adjusting the speech coding rate to maintain the user-perceived quality in terms of MOS (mean opinion score) in the face of time-varying available satellite channel capacity.
AIM: autonomous intersection management
Authors: Kurt Dresner
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: doctoral mentoring program (2008)

Artificial intelligence research is ushering in a new era of sophisticated, mass-market transportation technology. While computers can already fly a passenger jet better than a trained human pilot, people are still faced with the dangerous yet tedious task of driving automobiles. Recent advances in artificial intelligence, multiagent systems (MAS), and Intellgient Transportation Systems (ITS) point to a future in which vehicles themselves handle the vast majority of the driving task. Once autonomous vehicles become popular, autonomous interactions amongst multiple vehicles will be possible. Current methods of vehicle coordination, which are all designed to work with human drivers, will be outdated. The bottleneck for roadway efficiency will no longer be the drivers, but rather the mechanism by which those drivers' actions are coordinated. While open-road driving is a well-studied and more-or-less-solved problem, urban traffic scenarios, especially intersections, are much more challenging.
ALLPAD: Approximate Learning of Logic Programs with Annotated Disjunctions
Authors: Fabrizio Riguzzi
Venue: Inductive Logic Programming: 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers (2007)

In this paper we present the system ALLPAD for learning Logic Programs with Annotated Disjunctions (LPADs). ALLPAD modifies the previous system LLPAD in order to tackle real world learning problems more effectively. This is achieved by looking for an approximate solution rather than a perfect one. ALLPAD has been tested on the problem of classifying proteins according to their tertiary structure and the results compare favorably with most other approaches.
Platform support for an intelligent enterprise business management
Authors: Gabriela Rodica Hrin, Lucian Emanuel Anghel, Adrian David
Venue: Proceedings of the WSEAS International Conference on Applied Computing Conference (2008)

The platform assists, based on Information and Communication Technologies, a set of processes specific to an enterprise, from the meat processing industry, to help decision makers to manage performances by implementing the concepts Business Performance Management (BPM) and Business Intelligence (BI). The platform transforms data into information and then into knowledge being focused on business, technological and economical aspects specific to the meat processing enterprises helping them to realise an efficient use of their business policies, financial, human and material resources. The platform integrates the BPM organisation's processes with its CRM components and ERP components. The platform offers support for an intelligent management of the business processes, of the manufacture flows, and of the human and financial resources.
Stability of Delayed Systems Modeled by Fractional Models
Authors: M. de la Sen
Venue: Proceedings of the 2008 19th International Conference on Systems Engineering (2008)

This paper discusses linear fractional representations (LFR) of parameter-dependent nonlinear systems with real-rational nonlinearities and point-delayed dynamics. Sufficient conditions for robust global asymptotic stability both independent of and dependent on the delays are investigated via linear matrix inequalities. Such inequalities are obtained from the values of the time-derivatives of appropriate Lyapunov functions at all the vertices of the polytope which contains the parametrized uncertainties.
ACM SIGGRAPH 88 panel proceedings
Venue: International Conference on Computer Graphics and Interactive Techniques (1988)

In the beginning, the only function at the SIGGRAPH annual conference was the technical papers session. While the technical papers were the primary focus of the conference, as indeed they are now, many other activities have been added to the conference through the years. Conference goers today know that, besides the papers, there is an equipment exhibition, an art show, a film and video show, about thirty day-long courses, and a complete slate of panels. For all these functions, there is some written record of the event's activities. Papers are published in the Proceedings, there are catalogs for the film and video show and the art show, printed notes are provided for the courses, and exhibition attendees can carry away literature in any volume they can manage. Finally, brief summaries of the panel sessions, written in advance of the conference, appear in the Proceedings. In view of the growing importance of the panels to conference attendees (we often find panels better attended than paper sessions), this seems a disproportionately small record of their proceedings. For SIGGRAPH'86, in Dallas, some first steps were taken to provide technical program attendees with a permanent record of what transpired at the panel sessions. All panel presentations, as well as subsequent intra-panel and inter-audience interactions were audiotaped. After the conference, the tapes were transcribed to computer- readable form and were rough-edited by the Panels Chair to correct words and phrases that were nearly inaudible or were not understood by the transcriber. Following that, the intention was to have each panel chair, eleven in all, further edit their material, obtain appropriate visuals from their panelists, and to return all material to the Panels Chair for publication. Unfortunately, budget uncertainties for SIGGRAPH'86 and a serious underestimate of the work involved precluded these final steps. For S1GGRAPH'88 we had the opportunity (and the budget!) to try again. Just as in 1986, the panel proceedings were audiotaped, most visual material was captured on site, and, with the assistance of the Panels Committee, the panel chairs, and paid staff, the material was transcribed, edited, and printed. A copy of the panels proceedings is being mailed to every person who registered for the technical program. In this way we hope to provide panel attendees with more than just fond memories of the excitement they experienced at the Conference. More important, it is a first step in developing an archive of a highly significant annual event in the field of computer graphics. Finally, we hope that the reader will be both critical and tolerant of this first effort. Tolerant of the mangling of some names, particularly those of the questioners from the audience which we had no way of verifying. Critical feedback is essential at this point. Do you want to see this activity continue? Is it worth the effort for SIGGRAPH to produce panels proceedings and do you find it to be a valuable publication?
A Study of Information Security Practice in a Critical Infrastructure Application
Authors: Martin Gilje Jaatun, Eirik Albrechtsen, Maria B. Line, Stig Ole Johnsen, Irene Wærø, Odd Helge Longva, Inger Anne Tøndel
Venue: Proceedings of the 5th international conference on Autonomic and Trusted Computing (2008)

Based on multiple methods we have studied how information security practices, and in particular computer security incident response practices, are handled in the Norwegian offshore oil and gas industry. Our findings show that there is still insufficient awareness regarding the importance of information security in the offshore industry, and that increased vigilance is required in order to respond to mounting threats of tomorrow.
Locating steganographic payload via ws residuals
Authors: Andrew D. Ker
Venue: Proceedings of the 10th ACM workshop on Multimedia and security (2008)

The literature now contains a number of highly-sensitive detectors for LSB replacement steganography in digital images. They can also estimate the size of the embedded payload, but cannot locate it. In this short paper we demonstrate that the Weighted Stego-image (WS) steganalysis method can be adapted to locate payload, if a large number of images have the payload embedded in the same locations. Such a situation is plausible if the same embedding key is reused for different images, and the technique presented here may be of use to forensic investigators. As long as a few hundred stego images are available, near-perfect location of the payloads can be achieved.
Competitive Contract Net Protocol
Authors: Jiří Vokřínek, Jiří Bíba, Jiří Hodík, Jaromír Vybíhal, Michal Pĕchouček
Venue: Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science (2007)

The proposed Competitive Contract Net Protocol has been designed to facilitate a flexible cooperation in competitive multi-agent environments and to support automated or semi-automated negotiations in competitive domains. The protocol is based on FIPA standards. The protocol covers not only the phase of contracting the commitments, but also allows for a decommitment negotiation and contract termination. Thus, it consists of three phases: (i) a contracting phase, where conditions of agreement are concluded, (ii) an optional decommitment phase, where contract may be breached, and (iii) a contract termination phase, where the compliance with the concluded contract conditions is evaluated. Both the decommitment and non-compliance are bounded with penalties which measurably ensure a compliance with the commitments, but also allow an opportunistic behaviour of the agents at some price.
The Empirical Mode Decomposition and the Discrete Wavelet Transform for Detection of Human Cataract in Ultrasound Signals
Authors: Artūras Janušauskas, Rytis Jurkonis, Arūnas Lukoševičius, Skaidra Kurapkienė, Alvydas Paunksnis
Venue: Informatica (2005)

This paper presents a new approach for human cataract automatical detection based on ultrasound signal processing. Two signal decomposition techniques, empirical mode decomposition and discrete wavelet transform are used in the presented method. Performance comparison of these two decomposition methods when applied to this specific ultrasound signal is given. Described method includes ultrasonic signal decomposition to enhance signal specific features and increase signal to noise ratio with the following decision rules based on adaptive thresholding. The resulting detection performance of the proposed method using empirical mode decomposition was better to compare to discrete wavelet transform and resulted in 70% correctly identified "healthy subject" cases and 82%, 97% and 100% correctly identified "cataract cases" in the incipience, immature and mature cataract subject groups, respectively. Discussion is given on the reasons of different results and the differences between the two used signal decomposition techniques.
P System Models of Bistable, Enzyme Driven Chemical Reaction Networks
Authors: Stanley Dunn, Peter Stivers
Venue: Proceedings of the 2nd international work-conference on The Interplay Between Natural and Artificial Computation, Part I: Bio-inspired Modeling of Cognitive Tasks (2007)

In certain classes of chemical reaction networks (CRN), there may be two stable states. The challenge is to find a model of the CRN such that the stability properties can be predicted. In this paper we consider the problem of building a P-system designed to simulate the CRN in an attempt to determine if the CRN is stable or bistable. We found that for the networks in [2] none of the bistable CRN would have a bistable P-system by stoichiometry alone. The reaction kinetics must be included in the P-system model; the implementation of which has been considered an open problem. In this paper we conclude that a P-system for a CRN in m reactants and n products has at most 2(m 2 + mn) membranes and 6(m 2 + mn) rules. This suggests that P-system models of a chemical reaction network, including both stoichiometry and reaction kinetics can be built.
Accelerating tropical cyclone analysis using LambdaRAM, a distributed data cache over wide-area ultra-fast networks
Authors: Venkatram Vishwanath, Robert Burns, Jason Leigh, Michael Seablom
Venue: Future Generation Computer Systems (2009)

Data-intensive scientific applications require rapid access to local and geographically distributed data, however, there are significant I/O latency bottlenecks associated with storage systems and wide-area networking. LambdaRAM is a high-performance, multi-dimensional, distributed cache, that takes advantage of memory from multiple clusters interconnected by ultra-high-speed networking, to provide applications with rapid access to both local and remote data. It mitigates latency bottlenecks by employing proactive latency-mitigation heuristics based on an application's access patterns. We present results using LambdaRAM to rapidly stride through remote multi-dimensional NASA Modeling, Analysis and Prediction (MAP) 2006 project datasets, based on time and geographical coordinates, to compute wind shear for cyclone and hurricane and tropical cyclone analysis. Our current experiments have demonstrated up to a 20-fold speedup in the computation of wind shear with LambdaRAM.
Media Space Navigator: Navigating Video Content on IPTV Portals
Authors: Simon Vogl, Peter Halbmayer, Christoph Lichtenberger, Helmut Rauscha, Doris Rodler, Waltraud Müllner
Venue: Proceedings of the 6th European conference on Changing Television Environments (2008)

With the introduction of IPTV services, today broadcast and on demand services may be offered seamlessly. The growing amount of content creates a significant navigation challenge for the user that we try to resolve by providing a uniform way to access both services simultaneously.The Media Space Navigator combines entries from Video on Demand sources with data about life shows from EPG feeds into a unified graph structure that links entries by similarity. Users can browse the graph via an interface that has been designed for casual browsing with a remote control: For each entry, it provides a ranked view of the most relevant neighbours, which are accessible using cursor buttons. By selecting an entry, users can either select a node, or directly jump to the content (either the broadcast channel or a payment dialog to access a stored movie).The similarity measure is computed in a hybrid approach by merging different meta-data domains (film genre, actors, etc.), graph distance metrics and user preferences that can be entered casually during navigation: Rating entries with one to three plusses influences genre and actor weights in the similarity calculation.